Vol-1937⫷ Vol-1938 ⫸Vol-1939
urn:nbn:de:0074-1938-0


Vol-1938/paper-san⫷Vol-1938/paper-sul⫸Vol-1938/paper-sza
Allison SullivanKaiyuan WangSarfraz KhurshidDarko Marinov

Evaluating State Modeling Techniques in Alloy