Conserva Filho, M. S., Marinho, R., Mota, A. &
Woodcock, J.,
24 Oct 2018,
Formal Methods: Foundations and Applications - 21st Brazilian Symposium, SBMF 2018, Proceedings. Massoni, T. & Mousavi, M. R. (eds.).
Springer Verlag,
p. 198-214 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11254 LNCS).
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution