GeneSyst
From MaRDI portal
Software:14043
No author found.
No records found.
Related Items (2)
Checking the Conformance of a Promela Design to its Formal Specification in Event-B ⋮ Object oriented concepts identification from formal \(B\) specifications
This page was built for software: GeneSyst
