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 Citations (Scopus)

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

Cite this

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. p. 504-525 (Lecture notes in computer science, Vol. 428).

Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › 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 -