![](/img/cover-not-exists.png)
[ACM Press the XIV Brazilian Symposium - Caxias do Sul, Brazil (2018.06.04-2018.06.08)] Proceedings of the XIV Brazilian Symposium on Information Systems - SBSI'18 - Automatic Validation of Knowledge-intensive Process Models through Alloy
Barboza, Tatiana, Santoro, Flávia Maria, Baião, FernandaYear:
2018
DOI:
10.1145/3229345.3229405
File:
PDF, 760 KB
2018