GeneSyst

swMATH1303MaRDI QIDQ14043FDOQ14043

Author name not available (Why is that?)

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