GeneSyst

swMATH1303MaRDI QIDQ14043FDOQ14043

Author name not available (Why is that?)

Described by source

• ZB 2005: Formal Specification and Development in Z and B

Cited In (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