Please log in to take part in the discussion (add own reviews or comments).
Cite this publication
More citation styles
- please select -
%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
}