Towards user-friendly and efficient analysis with alloy
Peer reviewed, Journal article
Permanent lenke
http://hdl.handle.net/11250/2482199Utgivelsesdato
2015Metadata
Vis full innførselSamlinger
Originalversjon
Wang X, Rutle A, Lamo Y. Towards user-friendly and efficient analysis with alloy. CEUR Workshop Proceedings. 2015;1514:28-37Beskrivelse
-