Original language | English |
---|---|
Pages (from-to) | 262-278 |
Number of pages | 17 |
Journal | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) |
Volume | 3455 |
DOIs | |
Publication status | Published (VoR) - 2005 |
Event | 4th International Conference of B and Z Users, ZB 2005 - Guildford, United Kingdom Duration: 13 Apr 2005 → 15 Apr 2005 |
Keywords
- Object-orientation
- Z