Laurent Arditi, Hélène Collavizza
An Object-Oriented Framework for the Formal Verification of Processors
ECOOP, 1995.
@inproceedings{ECOOP-1995-ArditiC, author = "Laurent Arditi and Hélène Collavizza", booktitle = "{Proceedings of the Ninth European Conference on Object-Oriented Programming}", doi = "10.1007/3-540-49538-X_11", editor = "Walter G. Olthoff", isbn = "3-540-60160-0", pages = "215--234", publisher = "{Springer-Verlag}", series = "{Lecture Notes in Computer Science}", title = "{An Object-Oriented Framework for the Formal Verification of Processors}", volume = 952, year = 1995, }