Mutation Testing in the Refinement Calculus

Research output: Contribution to journalArticleResearchpeer-review

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

Cite this