%0 Conference Paper %1 conf/ecoop/ArditiC95 %A Arditi, Laurent %A Collavizza, Hélène %B ECOOP %D 1995 %E Olthoff, Walter G. %I Springer %K dblp %P 215-234 %T An Object-Oriented Framework for the Formal Verification of Processors. %U http://dblp.uni-trier.de/db/conf/ecoop/ecoop95.html#ArditiC95 %V 952 %@ 3-540-60160-0

@inproceedings{conf/ecoop/ArditiC95, added-at = {2017-05-20T00:00:00.000+0200}, author = {Arditi, Laurent and Collavizza, Hélène}, biburl = {https://www.bibsonomy.org/bibtex/242f67c147d5211ccd8242d6e178f12b0/dblp}, booktitle = {ECOOP}, crossref = {conf/ecoop/1995}, editor = {Olthoff, Walter G.}, ee = {https://doi.org/10.1007/3-540-49538-X_11}, interhash = {b2d1e64204110f81cf96c85db31e0307}, intrahash = {42f67c147d5211ccd8242d6e178f12b0}, isbn = {3-540-60160-0}, keywords = {dblp}, pages = {215-234}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T12:02:29.000+0200}, title = {An Object-Oriented Framework for the Formal Verification of Processors.}, url = {http://dblp.uni-trier.de/db/conf/ecoop/ecoop95.html#ArditiC95}, volume = 952, year = 1995 }