| Original language | English |
|---|---|
| Title of host publication | From Object-orientation to Formal Methods: Dedicated to the Memory of Ole-Johan Dahl : Lecture Notes in Computer Science, Vol. 2635 |
| Number of pages | 21 |
| Publisher | Springer |
| Publication date | 2003 |
| Publication status | Published - 2003 |
Towards Design Calculi for Requirements Engineering and Software Design
Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review