%0 Conference Paper %1 conf/cav/SegerJ91 %A Seger, Carl-Johan H. %A Joyce, Jeffrey J. %B CAV %D 1991 %E Larsen, Kim Guldstrand %E Skou, Arne %I Springer %K dblp %P 299-309 %T A Two-Level Formal Verification Methodology using HOL and COSMOS. %U http://dblp.uni-trier.de/db/conf/cav/cav91.html#SegerJ91 %V 575 %@ 3-540-55179-4

@inproceedings{conf/cav/SegerJ91, added-at = {2017-05-20T00:00:00.000+0200}, author = {Seger, Carl-Johan H. and Joyce, Jeffrey J.}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/22a98646b03734618010d51ca746912f3/dblp}, booktitle = {CAV}, crossref = {conf/cav/1991}, editor = {Larsen, Kim Guldstrand and Skou, Arne}, ee = {https://doi.org/10.1007/3-540-55179-4_29}, interhash = {4661b589818d65295582723649575fc1}, intrahash = {2a98646b03734618010d51ca746912f3}, isbn = {3-540-55179-4}, keywords = {dblp}, pages = {299-309}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-09-27T12:46:59.000+0200}, title = {A Two-Level Formal Verification Methodology using HOL and COSMOS.}, url = {http://dblp.uni-trier.de/db/conf/cav/cav91.html#SegerJ91}, volume = 575, year = 1991 }