[go: up one dir, main page]

"Semantic comparisons of Alloy models."

Jan Oliver Ringert, Syed Waqee Wali (2020)

Details and statistics

DOI: 10.1145/3365438.3410955

access: closed

type: Conference or Workshop Paper

metadata version: 2021-04-09