On conservative extensions of syntax in the process of system development
Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
| Original language | Danish |
|---|---|
| Title of host publication | Proceedings of VDM'90, VDM and Z---Formal Methods in Software Development, LNCS 428 |
| Number of pages | 22 |
| Publisher | Springer |
| Publication date | 1990 |
| Pages | 504-525 |
| Publication status | Published - 1990 |
| Externally published | Yes |
| Series | Lecture notes in computer science |
|---|---|
| Volume | 428 |
| ISSN | 0302-9743 |
ID: 98309314