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

Research output: Contribution to journalArticlepeer-review

Search results