ModelWriter/WP3

Readme
Issues
Stargazers
Watchers

Create hyperlinks to open elements in EcoreEditor

y3seker opened this issue 8 years ago · 0 comments

y3seker commented 8 years ago

Create hyperlinks to open elements in EcoreEditor

Topics

automated-analysis emf traceability alloy kodkod z verification

Share to

Contact site admin: Geeks.