Contract-based mutation testing in the Refinement Calculus

Research output: Contribution to journalArticleResearch

Original languageEnglish
Pages (from-to)351-351
JournalElectronic Notes in Theoretical Computer Science
Volume70
Issue number3
DOIs
Publication statusPublished - 2002

Cite this