Toggle navigation
Kleinner Farias
Home
Publications
Students
Contact
Alloy
Modeling Composition of UML Profiles with Alloy
×
Cite