Conserva Filho, M. S.,
Marinho, R.,
Mota, A. &
Woodcock, J.,
24 Oct 2018, (E-pub ahead of print)
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