Cavalcanti, A. L. C.,
Woodcock, J. C. P. &
Amalio, N.,
2016,
International Colloquium on Theoretical Aspects of Computing. Sampaio, A. C. A. & Wang, F. (eds.).
Springer,
Vol. 9965.
p. 255-273 19 p. (Lecture Notes in Computer Science).
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution