Test-design through abstraction - a systematic approach based on the refinement calculus

Publikation: Beitrag in einer Fachzeitschrift › Artikel › Begutachtung

Originalsprache	englisch
Seiten (von - bis)	710-735
Fachzeitschrift	Journal of Universal Computer Science
Jahrgang	7
Ausgabenummer	8
Publikationsstatus	Veröffentlicht - 2001

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

Dieses zitieren

@article{23c3f8142d974d22b63197b6a89a6a95,

title = "Test-design through abstraction - a systematic approach based on the refinement calculus",

author = "Bernhard Aichernig",

year = "2001",

language = "English",

volume = "7",

pages = "710--735",

journal = "Journal of Universal Computer Science ",

issn = "0948-6968",

publisher = "Verlag der Technischen Universit{\"a}t Graz",

number = "8",

}