Contract-based mutation testing in the Refinement Calculus

Publikation: Beitrag in einer FachzeitschriftArtikel

Originalspracheenglisch
Seiten (von - bis)351-351
FachzeitschriftElectronic Notes in Theoretical Computer Science
Jahrgang70
Ausgabenummer3
DOIs
PublikationsstatusVeröffentlicht - 2002

Dieses zitieren