, Momigliano, A.
& Pessina, M.
, Jun 2016
, Tests and Proofs: 10th International Conference, TAP 2016, Held as Part of STAF 2016, Vienna, Austria, July 5-7, 2016, Proceedings. Springer International Publishing
, p. 37-56 20 p.
(Lecture Notes in Computer Science; vol. 9762).
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution