DMCA

Dynamic logic with non-rigid functions: A basis for object-oriented program verification (2006)

by Bernhard Beckert , André Platzer
Venue:IJCAR, volume 4130 of LNCS
Citations:23 - 10 self