A verification methodology for model fields (2006)

by K R M Leino, P Müller
Venue:In ESOP’06, volume 3924 of LNCS