%0 Conference Paper %1 conf/wcae/AmblardLL04 %A Amblard, Paul %A Lagnier, Fabienne %A Lévy, Michel %B WCAE %D 2004 %E Gehringer, Edward F. %I ACM %K %P 9 %T Introduction to formal processor verification at logic level: a case study. %U http://dblp.uni-trier.de/db/conf/wcae/wcae2004.html#AmblardLL04 %@ 978-1-4503-4733-4

@inproceedings{conf/wcae/AmblardLL04, added-at = {2023-12-12T17:12:35.000+0100}, author = {Amblard, Paul and Lagnier, Fabienne and Lévy, Michel}, biburl = {https://www.bibsonomy.org/bibtex/2c0e036d51d20990317bc98e9c58f1790/admin}, booktitle = {WCAE}, crossref = {conf/wcae/2004}, editor = {Gehringer, Edward F.}, ee = {https://doi.org/10.1145/1275571.1275583}, interhash = {00560fe5d8721b0c8c4aa3e5ebab8325}, intrahash = {c0e036d51d20990317bc98e9c58f1790}, isbn = {978-1-4503-4733-4}, keywords = {}, pages = 9, publisher = {ACM}, timestamp = {2023-12-12T17:12:35.000+0100}, title = {Introduction to formal processor verification at logic level: a case study.}, url = {http://dblp.uni-trier.de/db/conf/wcae/wcae2004.html#AmblardLL04}, year = 2004 }