Refinement and test case generation in UTP

Publikation: Beitrag in einer Fachzeitschrift › Artikel

Originalsprache	englisch
Seiten (von - bis)	125-143
Fachzeitschrift	Electronic Notes in Theoretical Computer Science
Jahrgang	187
Ausgabenummer	1
Publikationsstatus	Veröffentlicht - 2007

Formale Methoden
Lucas, P., Lorber, F. L., Jöbstl, E. & Aichernig, B.
1/01/95 → …
Projekt: Arbeitsgebiet

Dieses zitieren

@article{3226c1af5907482d94008307cff1748e,

title = "Refinement and test case generation in UTP",

author = "Bernhard Aichernig and Jifeng He",

year = "2007",

language = "English",

volume = "187",

pages = "125--143",

journal = "Electronic Notes in Theoretical Computer Science ",

issn = "1571-0661",

publisher = "Elsevier B.V.",

number = "1",

}