Lectures
HSE #21: Using Verification Effectively
632 views
Hardcore Software Engineering
Joseph Kiniry talks about Verification: "Using Verification Effectively#
Joseph Kiniry talks about Verification: "Using Verification Effectively#