Test-design through abstraction - a systematic approach based on the refinement calculus

Research output: Contribution to journalArticleResearchpeer-review

Original languageEnglish
Pages (from-to)710-735
JournalJournal of Universal Computer Science
Volume7
Issue number8
Publication statusPublished - 2001

Cite this