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

Research output: Contribution to journalArticlepeer-review

Filter
Active

Search results