Lectures

HSE #18: Kinds of Verification

130 views
Hardcore Software Engineering
Joseph Kiniry talks about Verification: "Kinds of Verification"