Sciweavers

4469 search results - page 131 / 894
» Dynamic Program Slicing
Sort
View
FASE
2008
Springer
13 years 9 months ago
An Automatic Verifier for Java-Like Programs Based on Dynamic Frames
Jan Smans, Bart Jacobs 0002, Frank Piessens, Wolfr...