@inproceedings{DBLP:conf/sigsoft/NaudziunieneBDDGP11,
  title = "jStar-eclipse: an IDE for automated verification of Java programs",
  author = "Daiva Naudziuniene and Matko Botincan and Dino Distefano and Mike Dodds and Radu Grigore and Matthew J. Parkinson",
  year = "2011",
  booktitle = "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{\'o}thy and Andreas Zeller",
  isbn = "978-1-4503-0443-6",
  pages = "428-431",
  publisher = "ACM",
}