Lectures

HSE #19: Details of a Verification Tool

102 views
Hardcore Software Engineering
Joseph Kiniry talks about Verification: "Details of a Verification Tool"