%0 Conference Paper %1 conf/tphol/RushbyS93 %A Rushby, John M. %A Srivas, Mandayam K. %B HUG %D 1993 %E Joyce, Jeffrey J. %E Seger, Carl-Johan H. %I Springer %K dblp %P 163-173 %T Using PVS to Prove Some Theorems Of David Parnas. %U http://dblp.uni-trier.de/db/conf/tphol/tphol93.html#RushbyS93 %V 780 %@ 3-540-57826-9

@inproceedings{conf/tphol/RushbyS93, added-at = {2017-05-20T00:00:00.000+0200}, author = {Rushby, John M. and Srivas, Mandayam K.}, biburl = {https://www.bibsonomy.org/bibtex/26d9bc87c9b9be5ebc3e189491561c54a/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_133}, interhash = {73b5e49fc404a2c92c7c7f1df267e267}, intrahash = {6d9bc87c9b9be5ebc3e189491561c54a}, isbn = {3-540-57826-9}, keywords = {dblp}, pages = {163-173}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T17:26:35.000+0200}, title = {Using PVS to Prove Some Theorems Of David Parnas.}, url = {http://dblp.uni-trier.de/db/conf/tphol/tphol93.html#RushbyS93}, volume = 780, year = 1993 }