On conservative extensions of syntax in the process of system development
Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
| Originalsprog | Dansk |
|---|---|
| Titel | Proceedings of VDM'90, VDM and Z---Formal Methods in Software Development, LNCS 428 |
| Antal sider | 22 |
| Forlag | Springer |
| Publikationsdato | 1990 |
| Sider | 504-525 |
| Status | Udgivet - 1990 |
| Eksternt udgivet | Ja |
| Navn | Lecture notes in computer science |
|---|---|
| Vol/bind | 428 |
| ISSN | 0302-9743 |
Bibliografisk note
Covered by teArt2:Thorup91:BTT
ID: 98309314