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

> article

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


## References

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