%0 Conference Paper %1 conf/pstv/Sunshine82 %A Sunshine, Carl A. %B PSTV %D 1982 %E Sunshine, Carl A. %I North-Holland %K dblp %P 373-379 %T Experience with Four Automated Verification Systems. %U http://dblp.uni-trier.de/db/conf/pstv/pstv1982.html#Sunshine82 %@ 0-444-86481-4

@inproceedings{conf/pstv/Sunshine82, added-at = {2002-01-17T00:00:00.000+0100}, author = {Sunshine, Carl A.}, biburl = {https://www.bibsonomy.org/bibtex/2af75e8f8a85ba643916d306dab8a1335/dblp}, booktitle = {PSTV}, crossref = {conf/pstv/1982}, date = {2002-01-17}, description = {dblp}, editor = {Sunshine, Carl A.}, interhash = {13aaa0150cf34916bacfa8b8aaad51df}, intrahash = {af75e8f8a85ba643916d306dab8a1335}, isbn = {0-444-86481-4}, keywords = {dblp}, pages = {373-379}, publisher = {North-Holland}, timestamp = {2002-01-17T00:00:00.000+0100}, title = {Experience with Four Automated Verification Systems.}, url = {http://dblp.uni-trier.de/db/conf/pstv/pstv1982.html#Sunshine82}, year = 1982 }