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

Publikation: Beitrag in einer FachzeitschriftArtikel

Originalspracheenglisch
Seiten (von - bis)710-735
FachzeitschriftJournal of Universal Computer Science
Jahrgang7
Ausgabenummer8
PublikationsstatusVeröffentlicht - 2001

Dieses zitieren