Automatic verification of Java programs with dynamic frames
Jan Smans, Bart Jacobs, Frank Piessens, Wolfram SchulteТом:
22
Мова:
english
Сторінки:
35
DOI:
10.1007/s00165-010-0148-1
Date:
May, 2010
Файл:
PDF, 2.01 MB
english, 2010