Modeling Families of Public Licensing Services: A Case Study

Autor:	Luis Soares Barbosa, Guillermina Cledou
Rok vydání:	2017
Zdroj:	2017 IEEE/ACM 5th International FME Workshop on Formal Methods in Software Engineering (FormaliSE).
DOI:	10.1109/formalise.2017.8
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=doi_________::79b2944382425db82088abc810d9868f https://doi.org/10.1109/formalise.2017.8 Zobrazit plný text záznamu