Formal Techniques for Java Programs

Bart Jacobs 0002, Gary T. Leavens, Peter Müller, Arnd Poetzsch-Heffter. Formal Techniques for Java Programs. In Ana M. D. Moreira, Serge Demeyer, editors, Object-Oriented Technology, ECOOP 99 Workshop Reader, ECOOP 99 Workshops, Panels, and Posters, Lisbon, Portugal, June 14-18, 1999, Proceedings. Volume 1743 of Lecture Notes in Computer Science, pages 97-115, Springer, 1999. [doi]

@inproceedings{JacobsLMP99,
  title = {Formal Techniques for Java Programs},
  author = {Bart Jacobs 0002 and Gary T. Leavens and Peter Müller and Arnd Poetzsch-Heffter},
  year = {1999},
  url = {http://link.springer.de/link/service/series/0558/bibs/1743/17430097.htm},
  tags = {Java},
  researchr = {https://researchr.org/publication/JacobsLMP99},
  cites = {0},
  citedby = {0},
  pages = {97-115},
  booktitle = {Object-Oriented Technology, ECOOP 99 Workshop Reader, ECOOP 99 Workshops, Panels, and Posters, Lisbon, Portugal, June 14-18, 1999, Proceedings},
  editor = {Ana M. D. Moreira and Serge Demeyer},
  volume = {1743},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-66954-X},
}