@inproceedings{rao_more_2017,
	title = {More {Automated} {Formal} {Methods}⁈ {If} so, why, where \& how?},
	booktitle = {{AFM}@ {NFM}},
	author = {Rao, Arun Chakrapani},
	year = {2017},
	note = {tex.ids= raoMoreAutomatedFormal2017a, raoMoreAutomatedFormal2017b},
	keywords = {⛔ No DOI found},
	pages = {50--62},
}

{"_id":"PxYNWp6sfkKDHPusJ","bibbaseid":"rao-moreautomatedformalmethodsifsowhywherehow-2017","author_short":["Rao, A. C."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","title":"More Automated Formal Methods⁈ If so, why, where & how?","booktitle":"AFM@ NFM","author":[{"propositions":[],"lastnames":["Rao"],"firstnames":["Arun","Chakrapani"],"suffixes":[]}],"year":"2017","note":"tex.ids= raoMoreAutomatedFormal2017a, raoMoreAutomatedFormal2017b","keywords":"⛔ No DOI found","pages":"50–62","bibtex":"@inproceedings{rao_more_2017,\n\ttitle = {More {Automated} {Formal} {Methods}⁈ {If} so, why, where \\& how?},\n\tbooktitle = {{AFM}@ {NFM}},\n\tauthor = {Rao, Arun Chakrapani},\n\tyear = {2017},\n\tnote = {tex.ids= raoMoreAutomatedFormal2017a, raoMoreAutomatedFormal2017b},\n\tkeywords = {⛔ No DOI found},\n\tpages = {50--62},\n}\n\n","author_short":["Rao, A. C."],"key":"rao_more_2017","id":"rao_more_2017","bibbaseid":"rao-moreautomatedformalmethodsifsowhywherehow-2017","role":"author","urls":{},"keyword":["⛔ No DOI found"],"metadata":{"authorlinks":{}},"html":""},"bibtype":"inproceedings","biburl":"https://bibbase.org/zotero/SilverSylvester","dataSources":["YCBcQPneB9oxahSnp"],"keywords":["⛔ no doi found"],"search_terms":["more","automated","formal","methods","rao"],"title":"More Automated Formal Methods⁈ If so, why, where & how?","year":2017}