Lectures
HSE #19: Details of a Verification Tool
399 views
Hardcore Software Engineering
Joseph Kiniry talks about Verification: "Details of a Verification Tool"
Joseph Kiniry talks about Verification: "Details of a Verification Tool"