On conservative extensions of syntax in the process of system development

Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt

Standard

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 › fagfællebedømt

Harvard

Blikle, A & Thorup, M 1990, On conservative extensions of syntax in the process of system development. i Proceedings of VDM'90, VDM and Z---Formal Methods in Software Development, LNCS 428. Springer, Lecture notes in computer science, bind 428, s. 504-525.

APA

Blikle, A., & Thorup, M. (1990). On conservative extensions of syntax in the process of system development. I Proceedings of VDM'90, VDM and Z---Formal Methods in Software Development, LNCS 428 (s. 504-525). Springer. Lecture notes in computer science Bind 428

Vancouver

Blikle A, Thorup M. On conservative extensions of syntax in the process of system development. I 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).

Author

Blikle, Andrzej ; Thorup, Mikkel. / On conservative extensions of syntax in the process of system development. 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).

Bibtex

@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",
address = "Schweiz",

}

RIS

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 -

ID: 98309314