Arnd Poetzsch-Heffter, Peter Müller. A Programming Logic for Sequential Java. In S. Doaitse Swierstra, editor, Programming Languages and Systems, 8th European Symposium on Programming, ESOP 99, Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS 99, Amsterdam, The Netherlands, 22-28 March, 1999, Proceedings. Volume 1576 of Lecture Notes in Computer Science, pages 162-176, Springer, 1999. [doi]
@inproceedings{Poetzsch-HeffterM99,
title = {A Programming Logic for Sequential Java},
author = {Arnd Poetzsch-Heffter and Peter Müller},
year = {1999},
url = {http://link.springer.de/link/service/series/0558/bibs/1576/15760162.htm},
tags = {Java, logic programming, programming, logic},
researchr = {https://researchr.org/publication/Poetzsch-HeffterM99},
cites = {0},
citedby = {0},
pages = {162-176},
booktitle = {Programming Languages and Systems, 8th European Symposium on Programming, ESOP 99, Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS 99, Amsterdam, The Netherlands, 22-28 March, 1999, Proceedings},
editor = {S. Doaitse Swierstra},
volume = {1576},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-65699-5},
}