A Case Study on Applying a Tool for Automated System Analysis Based on Modular Specifications Written in TRIO+
Academic Article
Publication Date:
2000
Iris type:
Articolo su Rivista
List of contributors:
Morasca, Sandro; Morzenti, A; SAN PIETRO, P.
Published in: