Publications
Search

Publications :: Search

Show venue

On this page you see the details of the selected venue.

    Conference
    Name: Z User Workshop, Oxford, UK, Proceedings of the Fifth Annual Z User Meeting, 17-18 December 1990 1991
    DBLP: db/conf/zum/zum1990.html
    Bookmark:

    Below you find the publications assigned to this venue.

    Show item 1 to 10 of 34  
    Select a publication
    Show Title Venue Rating Date
    Conference paper
    Ian J. Hayes.
    Interpretations of Z Schema Operations.
    Z User Workshop, Oxford, UK, Proceedings of the Fifth Annual Z User Meeting, 17-18 December 1990 1991 (0) 1990
    Conference paper
    Andrew Coombes, John A. McDermid.
    A Tool for Defining the Architecture of Z Specifications.
    Z User Workshop, Oxford, UK, Proceedings of the Fifth Annual Z User Meeting, 17-18 December 1990 1991 (0) 1990
    Conference paper
    no author found.
    Formal Methods Courses.
    Z User Workshop, Oxford, UK, Proceedings of the Fifth Annual Z User Meeting, 17-18 December 1990 1991 (0) 1990
    Conference paper
    John Bainbridge, Robin W. Whitty, John Wordsworth.
    Obtaining Structural Metrics of Z Specifications for Systems Development.
    Z User Workshop, Oxford, UK, Proceedings of the Fifth Annual Z User Meeting, 17-18 December 1990 1991 (0) 1990
    Conference paper
    no author found.
    Software Products and Training Courses.
    Z User Workshop, Oxford, UK, Proceedings of the Fifth Annual Z User Meeting, 17-18 December 1990 1991 (0) 1990
    Conference paper
    no author found.
    Formal Security Policy Modelling.
    Z User Workshop, Oxford, UK, Proceedings of the Fifth Annual Z User Meeting, 17-18 December 1990 1991 (0) 1990
    Conference paper
    no author found.
    S/370 Tool Expo - Z Toolset.
    Z User Workshop, Oxford, UK, Proceedings of the Fifth Annual Z User Meeting, 17-18 December 1990 1991 (0) 1990
    Conference paper
    Jonathan P. Bowen.
    Selected Z Bibliography.
    Z User Workshop, Oxford, UK, Proceedings of the Fifth Annual Z User Meeting, 17-18 December 1990 1991 (0) 1990
    Conference paper
    Jonathan P. Bowen.
    Z FORUM Electronic Mailing List.
    Z User Workshop, Oxford, UK, Proceedings of the Fifth Annual Z User Meeting, 17-18 December 1990 1991 (0) 1990
    Conference paper
    Jonathan P. Bowen.
    PRG Archive Server.
    Z User Workshop, Oxford, UK, Proceedings of the Fifth Annual Z User Meeting, 17-18 December 1990 1991 (0) 1990
    Show item 1 to 10 of 34  

    Your query returned 34 matches in the database.