An automatic verifier for java-like programs based on dynamic frames (2008)

Cached

Download Links

by Jan Smans , Bart Jacobs , Frank Piessens , Wolfram Schulte
Venue:In Proceedings of FASE, volume 4961 of LNCS
Citations:23 - 6 self