Jan Smans Bart Jacobs 0002 Frank Piessens Wolfram Schulte An Automatic Verifier for Java-Like Programs Based on Dynamic Frames. 261-275 2008 FASE http://dx.doi.org/10.1007/978-3-540-78743-3_19 conf/fase/2008 db/conf/fase/fase2008.html#SmansJPS08