@inproceedings{ReifSSB98,
	Author = {W. Reif and G. Schellhorn and K. Stenzel and M. Balser},
	Booktitle = {Automated Deducation - A Basis for Applications},
	Editors = {W. Bibel and P. Schmitt},
	Publisher = pub-klu,
	Title = {Structured specifications and interactive proofs with {KIV}},
	Year = 1998}

{"_id":"5mgsxrv4k5St7NW9x","bibbaseid":"reif-schellhorn-stenzel-balser-structuredspecificationsandinteractiveproofswithkiv-1998","authorIDs":[],"author_short":["Reif, W.","Schellhorn, G.","Stenzel, K.","Balser, M."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["W."],"propositions":[],"lastnames":["Reif"],"suffixes":[]},{"firstnames":["G."],"propositions":[],"lastnames":["Schellhorn"],"suffixes":[]},{"firstnames":["K."],"propositions":[],"lastnames":["Stenzel"],"suffixes":[]},{"firstnames":["M."],"propositions":[],"lastnames":["Balser"],"suffixes":[]}],"booktitle":"Automated Deducation - A Basis for Applications","editors":"W. Bibel and P. Schmitt","publisher":"pub-klu","title":"Structured specifications and interactive proofs with KIV","year":"1998","bibtex":"@inproceedings{ReifSSB98,\n\tAuthor = {W. Reif and G. Schellhorn and K. Stenzel and M. Balser},\n\tBooktitle = {Automated Deducation - A Basis for Applications},\n\tEditors = {W. Bibel and P. Schmitt},\n\tPublisher = pub-klu,\n\tTitle = {Structured specifications and interactive proofs with {KIV}},\n\tYear = 1998}\n\n","author_short":["Reif, W.","Schellhorn, G.","Stenzel, K.","Balser, M."],"key":"ReifSSB98","id":"ReifSSB98","bibbaseid":"reif-schellhorn-stenzel-balser-structuredspecificationsandinteractiveproofswithkiv-1998","role":"author","urls":{},"downloads":0,"html":""},"bibtype":"inproceedings","biburl":"http://utwente-fmt.github.io/vercors/references.bib","creationDate":"2019-07-02T12:17:56.542Z","downloads":0,"keywords":[],"search_terms":["structured","specifications","interactive","proofs","kiv","reif","schellhorn","stenzel","balser"],"title":"Structured specifications and interactive proofs with KIV","year":1998,"dataSources":["7Z8XEkSJX2s636QcA"]}