jStar−eclipse: an IDE for automated verification of Java programs
Daiva Naudziuniene‚ Matko Botincan‚ Dino Distefano‚ Mike Dodds‚ Radu Grigore and Matthew J. Parkinson
Book Title
SIGSOFT/FSE'11 19th ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE−19) and ESEC'11: 13rd European Software Engineering Conference (ESEC−13)‚ Szeged‚ Hungary‚ September 5−9‚ 2011
Editor
Tibor Gyimóthy and Andreas Zeller
ISBN
978−1−4503−0443−6
Pages
428−431
Publisher
ACM
Year
2011