Relaxing behavioural inheritance

Nuno Amálio*

*Corresponding author for this work

    Research output: Contribution to journalConference articlepeer-review

    Original languageEnglish
    Pages (from-to)68-83
    Number of pages16
    JournalElectronic Proceedings in Theoretical Computer Science, EPTCS
    Publication statusPublished (VoR) - 24 May 2013
    Event16th International Refinement Workshop, Refine 2013 - Turku, Finland
    Duration: 11 Jun 2013 → …


    Dive into the research topics of 'Relaxing behavioural inheritance'. Together they form a unique fingerprint.

    Cite this