Automatic verification of Java programs with dynamic frames
Jan Smans, Bart Jacobs, Frank Piessens, Wolfram SchulteVolume:
22
Language:
english
Pages:
35
DOI:
10.1007/s00165-010-0148-1
Date:
May, 2010
File:
PDF, 2.01 MB
english, 2010