ModelWriter/WP3

Examine "Translating Z to Alloy" paper to understand the language and schema calculus in the context of Alloy Semantics

ferhaterata opened this issue · 0 comments