Original language | English |
---|---|
Pages (from-to) | 68-83 |
Number of pages | 16 |
Journal | Electronic Proceedings in Theoretical Computer Science, EPTCS |
Volume | 115 |
DOIs | |
Publication status | Published (VoR) - 24 May 2013 |
Event | 16th International Refinement Workshop, Refine 2013 - Turku, Finland Duration: 11 Jun 2013 → … |
Relaxing behavioural inheritance
Nuno Amálio*
*Corresponding author for this work
Research output: Contribution to journal › Conference article › peer-review