Tutu, I.,
Chirita, C-E.,
Lopes, A. &
Fiadeiro, J. L.,
9 Oct 2019, (E-pub ahead of print)
From Software Engineering to Formal Methods and Tools, and Back. ter Beek, M. H., Fantechi, A. & Semini, L. (eds.).
Springer,
p. 152-171 20 p. (Lecture Notes In Computer Science; vol. 11865).
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution