Lectures
HSE #3: Effectively Using Formal Methods
899 views
Hardcore Software Engineering
Joseph Kiniry talks about Background, BON, and Analysis - "Effectively Using Formal Methods"
Joseph Kiniry talks about Background, BON, and Analysis - "Effectively Using Formal Methods"