An object-oriented structuring for Z based on views

Nuno Amálio*, Fiona Polack, Susan Stepney

*Corresponding author for this work

    Research output: Contribution to journalConference articlepeer-review

    14 Citations (Scopus)
    Original languageEnglish
    Pages (from-to)262-278
    Number of pages17
    JournalLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
    Volume3455
    DOIs
    Publication statusPublished (VoR) - 2005
    Event4th International Conference of B and Z Users, ZB 2005 - Guildford, United Kingdom
    Duration: 13 Apr 200515 Apr 2005

    Keywords

    • Object-orientation
    • Z

    Fingerprint

    Dive into the research topics of 'An object-oriented structuring for Z based on views'. Together they form a unique fingerprint.

    Cite this