Modeling Families of Public Licensing Services: A Case Study

Citation:
Cledou G, Barbosa L.  Submitted.  Modeling Families of Public Licensing Services: A Case Study. FME Workshop on Formal Methods in Software Engineering (FormaliSE).

Citation Key:

3569
PreviewAttachmentSize
formalise2017.pdf554.54 KB