VeriFast for Java: A Tutorial. (2013)

by J Smans, B Jacobs, F Piessens
Venue:Aliasing in Object-Oriented Programming. LNCS,