%0 Conference Paper %1 conf/tphol/Coupet-GrimalJ96 %A Coupet-Grimal, Solange %A Jakubiec, Line %B TPHOLs %D 1996 %E von Wright, Joakim %E Grundy, Jim %E Harrison, John %I Springer %K dblp %P 125-139 %T Coq and Hardware Verification: A Case Study. %U http://dblp.uni-trier.de/db/conf/tphol/tphol96.html#Coupet-GrimalJ96 %V 1125 %@ 3-540-61587-3

@inproceedings{conf/tphol/Coupet-GrimalJ96, added-at = {2017-05-22T00:00:00.000+0200}, author = {Coupet-Grimal, Solange and Jakubiec, Line}, biburl = {https://www.bibsonomy.org/bibtex/22db25b759d24939274aac7d7ea954659/dblp}, booktitle = {TPHOLs}, crossref = {conf/tphol/1996}, editor = {von Wright, Joakim and Grundy, Jim and Harrison, John}, ee = {https://doi.org/10.1007/BFb0105401}, interhash = {5db61b120600e80f0914d8be91f75866}, intrahash = {2db25b759d24939274aac7d7ea954659}, isbn = {3-540-61587-3}, keywords = {dblp}, pages = {125-139}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-09-06T11:43:27.000+0200}, title = {Coq and Hardware Verification: A Case Study.}, url = {http://dblp.uni-trier.de/db/conf/tphol/tphol96.html#Coupet-GrimalJ96}, volume = 1125, year = 1996 }