# ZB 2002:Formal Specification and Development in Z and B

> scientific article

**Wikidata**: [Q56939926](https://www.wikidata.org/wiki/Q56939926)  
**Source**: https://4ort.xyz/entity/zb-2002-formal-specification-and-development-in-z-and-b


## References

1. Springer Nature Link
2. [dblp computer science bibliography](https://dblp.org/db/conf/zum/zb2002.html)
3. Source