Data di Pubblicazione:
2015
Tipologia CRIS:
04A-Conference paper in volume
Elenco autori:
Padovani, Luca; Novara, Luca
Link alla scheda completa:
Link al Full Text:
Titolo del libro:
Proceedings of the IFIP International Conference on Formal Methods and Techniques (FORTE'15)
Pubblicato in: