%0 Conference Paper %1 conf/tphol/AndersenPP93 %A Andersen, Flemming %A Petersen, Kim Dam %A Pettersson, Jimmi S. %B HUG %D 1993 %E Joyce, Jeffrey J. %E Seger, Carl-Johan H. %I Springer %K dblp %P 1-15 %T Program Verification using HOL-UNITY. %U http://dblp.uni-trier.de/db/conf/tphol/tphol93.html#AndersenPP93 %V 780 %@ 3-540-57826-9

@inproceedings{conf/tphol/AndersenPP93, added-at = {2017-05-20T00:00:00.000+0200}, author = {Andersen, Flemming and Petersen, Kim Dam and Pettersson, Jimmi S.}, biburl = {https://www.bibsonomy.org/bibtex/29ea7526c091b05a50db4da89a61cd95b/dblp}, booktitle = {HUG}, crossref = {conf/tphol/1993}, editor = {Joyce, Jeffrey J. and Seger, Carl-Johan H.}, ee = {https://doi.org/10.1007/3-540-57826-9_121}, interhash = {8b241f55d9044357be980d6398050b29}, intrahash = {9ea7526c091b05a50db4da89a61cd95b}, isbn = {3-540-57826-9}, keywords = {dblp}, pages = {1-15}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T17:26:35.000+0200}, title = {Program Verification using HOL-UNITY.}, url = {http://dblp.uni-trier.de/db/conf/tphol/tphol93.html#AndersenPP93}, volume = 780, year = 1993 }