CS3750 - Software Verification and Validation - Spring 2023 - Andrew Berns

CS3750 - Software Verification and Validation - Spring 2023

Home Courses Research

Model of the Ariane 5 launcher, photo taken by Wikimedia user Herman

General Course Links

Syllabus

Course Schedule

Resources

Built with Jekyll using a modified whiteglass theme.