Sciweavers

Share
FASE
2008
Springer

An Automatic Verifier for Java-Like Programs Based on Dynamic Frames

9 years 29 days ago
An Automatic Verifier for Java-Like Programs Based on Dynamic Frames
Jan Smans, Bart Jacobs 0002, Frank Piessens, Wolfr
Added 19 Oct 2010
Updated 19 Oct 2010
Type Conference
Year 2008
Where FASE
Authors Jan Smans, Bart Jacobs 0002, Frank Piessens, Wolfram Schulte
Comments (0)
books