Mutation Testing in the Refinement Calculus

Publikation: Beitrag in einer FachzeitschriftArtikelBegutachtung

Originalspracheenglisch
Seiten (von - bis)280-295
FachzeitschriftFormal Aspects of Computing
Jahrgang15
Ausgabenummer2
PublikationsstatusVeröffentlicht - 2003
  • Formale Methoden

    Lucas, P., Lorber, F. L., Jöbstl, E. & Aichernig, B.

    1/01/95 → …

    Projekt: Arbeitsgebiet

Dieses zitieren