%0 Conference Paper %1 conf/tphol/Parnas93 %A Parnas, David Lorge %B HUG %D 1993 %E Joyce, Jeffrey J. %E Seger, Carl-Johan H. %I Springer %K dblp %P 155-162 %T Some Theorems We Should Prove. %U http://dblp.uni-trier.de/db/conf/tphol/tphol93.html#Parnas93 %V 780 %@ 3-540-57826-9

@inproceedings{conf/tphol/Parnas93, added-at = {2017-05-20T00:00:00.000+0200}, author = {Parnas, David Lorge}, biburl = {https://www.bibsonomy.org/bibtex/297cc69f8944bffda92b0faa3c6bc52be/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_132}, interhash = {02fb520b0a5a95e999e3b303ffbc1579}, intrahash = {97cc69f8944bffda92b0faa3c6bc52be}, isbn = {3-540-57826-9}, keywords = {dblp}, pages = {155-162}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T17:26:35.000+0200}, title = {Some Theorems We Should Prove.}, url = {http://dblp.uni-trier.de/db/conf/tphol/tphol93.html#Parnas93}, volume = 780, year = 1993 }