se421-fall2018.github.io - Software Engineering 421 – Software Analysis and Verification for Safety and Security

home > domains > se421-fall2018.github.io

Description: Software Analysis and Verification for Safety and Security

Example domain paragraphs

Software Analysis and Verification for Safety and Security

Instructor: Ben Holland

Class Meets: M/W/F 12:10-1:00pm in Gilman 2354

Links to se421-fall2018.github.io (2)

• ben-holland.com Ben Holland – Portfolio
• benjaminsbox.com Ben Holland – Portfolio