Notes de cours
testing and verification. The emphasis is on automated tools for developing reliable software. The course covers material---drawn primarily from recent research papers
- Cours
- Établissement
software specification, testing and verification. The emphasis is on automated tools for developing reliable software. The course covers material---drawn primarily from recent research papers---on the
[Montrer plus]