%0 Conference Paper %1 conf/sp/DiVitoGKMSW90 %A Vito, Ben L. Di %A Garvey, Cristi %A Kwong, D. %A Murray, A. %A Solomon, Jane %A Wu, Amy %B S&P %D 1990 %I IEEE Computer Society %K dblp %P 306-318 %T The Deductive Theory Manager: A Knowledge Based System for Formal Verification. %U http://dblp.uni-trier.de/db/conf/sp/sp1990.html#DiVitoGKMSW90 %@ 0-8186-2060-9

@inproceedings{conf/sp/DiVitoGKMSW90, added-at = {2023-09-21T00:00:00.000+0200}, author = {Vito, Ben L. Di and Garvey, Cristi and Kwong, D. and Murray, A. and Solomon, Jane and Wu, Amy}, biburl = {https://www.bibsonomy.org/bibtex/20863a0a7e9b5791f6d579a517740c010/dblp}, booktitle = {S&P}, crossref = {conf/sp/1990}, ee = {https://doi.ieeecomputersociety.org/10.1109/RISP.1990.63860}, interhash = {0e0028b7ea3526c55c13dac993a4353c}, intrahash = {0863a0a7e9b5791f6d579a517740c010}, isbn = {0-8186-2060-9}, keywords = {dblp}, pages = {306-318}, publisher = {IEEE Computer Society}, timestamp = {2024-04-10T00:01:56.000+0200}, title = {The Deductive Theory Manager: A Knowledge Based System for Formal Verification.}, url = {http://dblp.uni-trier.de/db/conf/sp/sp1990.html#DiVitoGKMSW90}, year = 1990 }