Mutation Testing in the Refinement Calculus

Bernhard Aichernig

Research output: Contribution to journal › Article › peer-review

Original languageEnglish
Pages (from-to)280-295
JournalFormal Aspects of Computing
Volume15
Issue number2
Publication statusPublished - 2003

  • Formal Methods

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

    1/01/95 → …

    Project: Research area

Cite this