Data di Pubblicazione:
2019
Tipologia CRIS:
4.1 Contributo in Atti di convegno
Elenco autori:
De Angelis, Emanuele; Fioravanti, Fabio; Palacios, Adrián; Pettorossi, Alberto; Proietti, Maurizio
Link alla scheda completa:
Titolo del libro:
International Conference on Tests and Proofs 13th International Conference, TAP 2019, Held as Part of the Third World Congress on Formal Methods 2019, Porto, Portugal, October 9–11, 2019, Proceedings
Pubblicato in: