Conference Contribution Details
Mandatory Fields
Marie Farrell and Rosemary Monahan and James F. Power
PhD Symposium at iFM'16 on Formal Methods: Algorithms, Tools and Applications
Using the theory of institutions to integrate software models via refinement
Iceland
Non Refereed Paper/Abstract Presented at Conference
2016
()
0
Optional Fields