7 results · clear filters Sort: newest oldest name

1. 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)
   2007-01-17/19 · Besançon, France
   Computer and information sciences
   e10dm1e
2. Formal Specification and Development in B (B) (B)
   series, 6 events, 1998 to 2007
   Computer and information sciences
   s10cqxm
3. 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)
   2005-04-13/15 · Guildford, United Kingdom
   Computer and information sciences
   e120fze
4. 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)
   2003-06-04/06 · Turku, Finland
   Computer and information sciences
   e10dm2c
5. International Conference of B and Z Users (B, ZB 2002)
   2002-01-23/25 · Grenoble, France
   Computer and information sciences
   e10022r
6. 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)
   2000-08-29 to 2000-09-02 · York, United Kingdom
   Computer and information sciences
   e10dm3a
7. 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)
   1998-04-22/24 · Montpellier, France
   Computer and information sciences
   e10dm48

As JSON: https://labs.confref.org/api/search?discipline=Q21198&series=s10cqxm