×

zbMATH — the first resource for mathematics

Found 5 Documents (Results 1–5)

100
MathJax
Bert, Didier (ed.) et al., ZB 2002: Formal specification and development in Z and B. 2nd international conference of B and Z users, Grenoble, France, January 23–25, 2002. Proceedings. Berlin: Springer (ISBN 3-540-43166-7). Lect. Notes Comput. Sci. 2272, 370-393 (2002).
MSC:  68T15 03B35 03E25 68N01
PDF BibTeX XML Cite
Full Text: Link

Filter Results by …

Document Type
Year of Publication
all top 3
Classification
Software