On conservative extensions of syntax in the process of system development

Andrzej Blikle; Mikkel Thorup

On conservative extensions of syntax in the process of system development

2 Citationer (Scopus)

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
Udgivet eksternt	Ja

Navn	Lecture notes in computer science
Vol/bind	428
ISSN	0302-9743

Citationsformater

On conservative extensions of syntax in the process of system development. / Blikle, Andrzej; Thorup, Mikkel.

Proceedings of VDM'90, VDM and Z---Formal Methods in Software Development, LNCS 428. Springer, 1990. s. 504-525 (Lecture notes in computer science, Bind 428).

Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › peer review

@inproceedings{73d1c56f42dc47ae959479f09c7ea3e1,

title = "On conservative extensions of syntax in the process of system development",

author = "Andrzej Blikle and Mikkel Thorup",

note = "Covered by teArt2:Thorup91:BTT",

year = "1990",

language = "Dansk",

series = "Lecture notes in computer science",

publisher = "Springer",

pages = "504--525",

booktitle = "Proceedings of VDM'90, VDM and Z---Formal Methods in Software Development, LNCS 428",

}

TY - GEN

T1 - On conservative extensions of syntax in the process of system development

AU - Blikle, Andrzej

AU - Thorup, Mikkel

N1 - Covered by teArt2:Thorup91:BTT

PY - 1990

Y1 - 1990

M3 - Konferencebidrag i proceedings

T3 - Lecture notes in computer science

SP - 504

EP - 525

BT - Proceedings of VDM'90, VDM and Z---Formal Methods in Software Development, LNCS 428

PB - Springer

ER -