%0 Conference Paper %1 conf/nfm/RichardsL10 %A Richards, Dominic %A Lester, David R. %B NASA Formal Methods %D 2010 %E Muñoz, César A. %K dblp %P 139-148 %T A Prototype Embedding of Bluespec SystemVerilog in the PVS Theorem Prover. %U http://dblp.uni-trier.de/db/conf/nfm/nfm2010.html#RichardsL10 %V NASA/CP-2010-216215

@inproceedings{conf/nfm/RichardsL10, added-at = {2012-07-17T00:00:00.000+0200}, author = {Richards, Dominic and Lester, David R.}, biburl = {https://www.bibsonomy.org/bibtex/2f8ad370aed4db7125edb893e51c5f81b/dblp}, booktitle = {NASA Formal Methods}, crossref = {conf/nfm/2010}, editor = {Muñoz, César A.}, interhash = {dcbd1147eed8746def045aa3e02e1077}, intrahash = {f8ad370aed4db7125edb893e51c5f81b}, keywords = {dblp}, pages = {139-148}, series = {NASA Conference Proceedings}, timestamp = {2016-06-24T11:59:29.000+0200}, title = {A Prototype Embedding of Bluespec SystemVerilog in the PVS Theorem Prover.}, url = {http://dblp.uni-trier.de/db/conf/nfm/nfm2010.html#RichardsL10}, volume = {NASA/CP-2010-216215}, year = 2010 }