GeneSyst

MaRDI QIDQ14043swMATHFDO

Official website http://perso.citi.insa-lyon.fr/nstouls/Productions/2005-ZB05/Article-ZB05.pdf

Described by source

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

Cited in

(3)

• Checking the Conformance of a Promela Design to its Formal Specification in Event-B
• Object oriented concepts identification from formal \(B\) specifications
• CLPS-B

This page was built for software: GeneSyst