Bart Jacobs, Erik Poll
A Logic for the Java Modeling Language JML
FASE, 2001.
@inproceedings{FASE-2001-JacobsP, author = "Bart Jacobs and Erik Poll", booktitle = "{Proceedings of the Fourth International Conference on Fundamental Approaches to Software Engineering}", doi = "10.1007/3-540-45314-8_21", isbn = "3-540-41863-6", pages = "284--299", publisher = "{Springer-Verlag}", series = "{Lecture Notes in Computer Science}", title = "{A Logic for the Java Modeling Language JML}", volume = 2029, year = 2001, }