Ideal Specification formalism = Expressivity + Compositionality + Decidability + Testablity + ...

Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review

Originalsprog	Engelsk
Bogserie	Lecture Notes in Computer Science
Vol/bind	458
ISSN	0302-9743
Status	Udgivet - 1990

AUB Link

@article{18316d509c2f11db8ed6000ea68e967b,

title = "Ideal Specification formalism = Expressivity + Compositionality + Decidability + Testablity + ...",

author = "Larsen, {Kim Guldstrand}",

year = "1990",

language = "English",

volume = "458",

journal = "Lecture Notes in Computer Science",

issn = "0302-9743",

publisher = "Physica-Verlag",

}