Showing 1 - 3 results of 3 for search 'Bert, Didier', query time: 0.03s Refine Results
  1. 1
    Recent Trends in Algebraic Development Techniques 14th International Workshop, WADT '99, Chateau de Bonas, September 15-18, 1999 Selected Papers /
    Published 2000
    Other Authors: “…Bert, Didier…”
    Full Text via HEAL-Link
    Electronic eBook
  2. 2
    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 /
    Published 2003
    Other Authors: “…Bert, Didier…”
    Full Text via HEAL-Link
    Electronic eBook
  3. 3
    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 /
    Published 2002
    Other Authors: “…Bert, Didier…”
    Full Text via HEAL-Link
    Electronic eBook
Search Tools: RSS Feed – Email Search