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

Research output: Contribution to journalArticle

Search results