A Survey of Papers from Formal Methods for Interactive Systems (FMIS) Workshops. Béger, P., Leriche, S., & Prun, D. In International Symposium on Formal Methods, pages 443–464, 2019. Springer.
bibtex   
@inproceedings{begerSurveyPapersFormal2019,
	title = {A {Survey} of {Papers} from {Formal} {Methods} for {Interactive} {Systems} ({FMIS}) {Workshops}},
	booktitle = {International {Symposium} on {Formal} {Methods}},
	publisher = {Springer},
	author = {Béger, Pascal and Leriche, Sébastien and Prun, Daniel},
	year = {2019},
	keywords = {[INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE], ⛔ No DOI found},
	pages = {443--464},
}

Downloads: 0