Search Beta
Series and events of the confref identifiers. Look up an identifier (dblp key, Wikidata, GND, DOI of the proceedings) through the API.
7 results · clear filters Sort: newest oldest name
- B 2007: Formal Specification and Development in B, 7th International Conference of B Users, Besançon, France, January 17-19, 2007, Proceedings (B 2007, B)Computer and information sciencese10dm1e
- Formal Specification and Development in B (B) (B)Computer and information sciencess10cqxm
- ZB 2005: Formal Specification and Development in Z and B, 4th International Conference of B and Z Users, Guildford, UK, April 13-15, 2005, Proceedings (ZUM)Computer and information sciencese120fze
- ZB 2003: Formal Specification and Development in Z and B, Third International Conference of B and Z Users, Turku, Finland, June 4-6, 2003, Proceedings (B, ZB 2003)Computer and information sciencese10dm2c
- International Conference of B and Z Users (B, ZB 2002)Computer and information sciencese10022r
- ZB 2000: Formal Specification and Development in Z and B, First International Conference of B and Z Users, York, UK, August 29 - September 2, 2000, Proceedings (B, ZB 2000)Computer and information sciencese10dm3a
- B'98: Recent Advances in the Development and Use of the B Method, Second International B Conference, Montpellier, France, April 22-24, 1998, Proceedings (2. B 1998, B)Computer and information sciencese10dm48