Refinement and test case generation in UTP

Publikation: Beitrag in einer FachzeitschriftArtikel

Originalspracheenglisch
Seiten (von - bis)125-143
FachzeitschriftElectronic Notes in Theoretical Computer Science
Jahrgang187
Ausgabenummer1
PublikationsstatusVeröffentlicht - 2007

Dieses zitieren