Toggle navigation
Home
People
Departments
Research
About
Login
Search
7th International Conference on Rigorous State-Based Methods (ABZ)
Conference
Scholarly Activity
Scholarly Activity
related documents
Experiences on Teaching Alloy with an Automated Assessment Platform
Conferences