Forskning ved Københavns Universitet - Københavns Universitet

Forside

On conservative extensions of syntax in the process of system development

Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskningfagfællebedømt

OriginalsprogDansk
TitelProceedings of VDM'90, VDM and Z---Formal Methods in Software Development, LNCS 428
Antal sider22
ForlagSpringer
Publikationsdato1990
Sider504-525
StatusUdgivet - 1990
Eksternt udgivetJa
NavnLecture notes in computer science
Vol/bind428
ISSN0302-9743

Bibliografisk note

Covered by teArt2:Thorup91:BTT

ID: 98309314