Class notes
The emphasis is on automated tools for developing reliable software.
- Course
- CS 295
- Institution
- Stratford University
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---
[Show more]