A Case Study on Applying a Tool for Automated System Analysis Based on Modular Specifications Written in TRIO+
Articolo
Data di Pubblicazione:
2000
Tipologia CRIS:
Articolo su Rivista
Elenco autori:
Morasca, Sandro; Morzenti, A; SAN PIETRO, P.
Link alla scheda completa:
Pubblicato in: