Publisher
Springer Nature Switzerland
Reference13 articles.
1. Alloy analyzer version 6 (2021). https://allytools.org/alloy6.html
2. Lecture Notes in Computer Science;A Cimatti,2002
3. Lecture Notes in Computer Science;A Cimatti,1999
4. Lecture Notes in Computer Science;A Cimatti,2008
5. Lecture Notes in Computer Science;W Dietl,2013