invariant aware programming a path to safer code

Name: invariant aware programming a path to safer code
Uploaded: Streamed live on Aug 7, 2024
Description: invariant aware programming a path to safer code