Kees Huizing, Ruurd Kuiper
Verification of Object Oriented Programs Using Class Invariants
FASE, 2000.
@inproceedings{FASE-2000-HuizingK, author = "Kees Huizing and Ruurd Kuiper", booktitle = "{Proceedings of the Third International Conference on Fundamental Approaches to Software Engineering}", doi = "10.1007/3-540-46428-X_15", isbn = "3-540-67261-3", pages = "208--221", publisher = "{Springer-Verlag}", series = "{Lecture Notes in Computer Science}", title = "{Verification of Object Oriented Programs Using Class Invariants}", volume = 1783, year = 2000, }