Salsa
From MaRDI portal
Software:37169
No author found.
Related Items (3)
Unnamed Item ⋮ Model-based construction and verification of critical systems using composition and partial refinement ⋮ Formal Techniques for Networked and Distributed Systems - FORTE 2003
This page was built for software: Salsa
