D’Antoni, L.,
Ferreira, T.,
Sammartino, M. &
Silva, A.,
12 Jul 2019, (E-pub ahead of print)
Computer Aided Verification: 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part I. Dillig, I. & Tasiran, S. (eds.).
Springer-Verlag,
p. 3-21 19 p. (Lecture Notes in Computer Science ; vol. 11561 ).
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution