Slides for the “Static Analysis and Verification of C Programs” Talk

Slides for the “Static Analysis and Verification of C Programs” talk are now available on SlideShare.

Print this page

Leave a Reply

Your email address will not be published. Required fields are marked *