@article{butler_elementary_1993,
	title = {An elementary tutorial on formal specification and verification using {PVS}},
	author = {Butler, Ricky W.},
	year = {1993},
	keywords = {⛔ No DOI found},
}

{"_id":"QZEdrD9Sk9fSoayXq","bibbaseid":"butler-anelementarytutorialonformalspecificationandverificationusingpvs-1993","author_short":["Butler, R. W."],"bibdata":{"bibtype":"article","type":"article","title":"An elementary tutorial on formal specification and verification using PVS","author":[{"propositions":[],"lastnames":["Butler"],"firstnames":["Ricky","W."],"suffixes":[]}],"year":"1993","keywords":"⛔ No DOI found","bibtex":"@article{butler_elementary_1993,\n\ttitle = {An elementary tutorial on formal specification and verification using {PVS}},\n\tauthor = {Butler, Ricky W.},\n\tyear = {1993},\n\tkeywords = {⛔ No DOI found},\n}\n\n","author_short":["Butler, R. W."],"key":"butler_elementary_1993","id":"butler_elementary_1993","bibbaseid":"butler-anelementarytutorialonformalspecificationandverificationusingpvs-1993","role":"author","urls":{},"keyword":["⛔ No DOI found"],"metadata":{"authorlinks":{}},"html":""},"bibtype":"article","biburl":"https://bibbase.org/zotero/SilverSylvester","dataSources":["YCBcQPneB9oxahSnp"],"keywords":["⛔ no doi found"],"search_terms":["elementary","tutorial","formal","specification","verification","using","pvs","butler"],"title":"An elementary tutorial on formal specification and verification using PVS","year":1993}