More Automated Formal Methods⁈ If so, why, where & how?. Rao, A. C. In AFM@ NFM, pages 50–62, 2017. tex.ids= raoMoreAutomatedFormal2017a, raoMoreAutomatedFormal2017b
bibtex   
@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},
}

Downloads: 0