{"_id":"TRS26g4cTwTeZ6n8W","bibbaseid":"bger-leriche-prun-asurveyofpapersfromformalmethodsforinteractivesystemsfmisworkshops-2019","author_short":["Béger, P.","Leriche, S.","Prun, D."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","title":"A Survey of Papers from Formal Methods for Interactive Systems (FMIS) Workshops","booktitle":"International Symposium on Formal Methods","publisher":"Springer","author":[{"propositions":[],"lastnames":["Béger"],"firstnames":["Pascal"],"suffixes":[]},{"propositions":[],"lastnames":["Leriche"],"firstnames":["Sébastien"],"suffixes":[]},{"propositions":[],"lastnames":["Prun"],"firstnames":["Daniel"],"suffixes":[]}],"year":"2019","keywords":"[INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE], ⛔ No DOI found","pages":"443–464","bibtex":"@inproceedings{begerSurveyPapersFormal2019,\n\ttitle = {A {Survey} of {Papers} from {Formal} {Methods} for {Interactive} {Systems} ({FMIS}) {Workshops}},\n\tbooktitle = {International {Symposium} on {Formal} {Methods}},\n\tpublisher = {Springer},\n\tauthor = {Béger, Pascal and Leriche, Sébastien and Prun, Daniel},\n\tyear = {2019},\n\tkeywords = {[INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE], ⛔ No DOI found},\n\tpages = {443--464},\n}\n\n","author_short":["Béger, P.","Leriche, S.","Prun, D."],"key":"begerSurveyPapersFormal2019","id":"begerSurveyPapersFormal2019","bibbaseid":"bger-leriche-prun-asurveyofpapersfromformalmethodsforinteractivesystemsfmisworkshops-2019","role":"author","urls":{},"keyword":["[INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE]","⛔ No DOI found"],"metadata":{"authorlinks":{}},"html":""},"bibtype":"inproceedings","biburl":"https://bibbase.org/zotero/SilverSylvester","dataSources":["YCBcQPneB9oxahSnp"],"keywords":["[info.info-se]computer science [cs]/software engineering [cs.se]","⛔ no doi found"],"search_terms":["survey","papers","formal","methods","interactive","systems","fmis","workshops","béger","leriche","prun"],"title":"A Survey of Papers from Formal Methods for Interactive Systems (FMIS) Workshops","year":2019}