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