An idiom to represent data types in Alloy

Rohit Gheyi, Paulo Borba, Augusto Sampaio, Márcio Ribeiro
2017
PDF
Type
Journal article
Publication
Information and Software Technology
comments powered by Disqus