Task Model Design and Analysis with Alloy
Alcino Cunha, Nuno Macedo and Eunsuk KangSLIDES
ABZ2023: 9TH INTERNATIONAL CONFERENCE ON RIGOROUS STATE-BASED METHODS
|
|
ABZ2023: 9TH INTERNATIONAL CONFERENCE ON RIGOROUS STATE-BASED METHODS
|
|