Skip to contents

  5. Henson, Martin [Other]; King, Steve [Other]; Schneider, Steve [Other]; Treharne, Helen [Other]

    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

    Books
    View online
    Schließen
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    Berlin, Heidelberg: Springer Berlin Heidelberg, 2005

    Published in: Lecture notes in computer science ; 3455

  6. Bert, Didier [Author] ; Bowen, Jonathan P. [Other]; King, Steve [Other]; Waldén, Marina [Other]

    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

    Books
    View online
    Schließen
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    Berlin, Heidelberg: Springer-Verlag Berlin Heidelberg, 2003

    Published in: Lecture notes in computer science ; 2651

  7. Goos, Gerhard [Author] ; Hartmanis, Juris [Other]; Leeuwen, Jan [Other]

    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

    Books
    View online
    Schließen
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    Berlin, Heidelberg: Springer-Verlag Berlin Heidelberg, 2000

    Published in: Lecture notes in computer science ; 1878

  8. Bert, Didier [Author] ; Bowen, Jonathan P. [Other]; Henson, Martin C. [Other]; Robinson, Ken [Other]

    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

    Books
    View online
    Schließen
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    Berlin, Heidelberg: Springer-Verlag Berlin Heidelberg, 2002

    Published in: Lecture notes in computer science ; 2272