Microsoft Research Video 104042: Employing decision procedures for automatic program analysis and verification of heap-manipulating programs
Summary
loading…
Sign in to watch
Free, with Google. The research on this page is open to everyone and always will be; signing in is what lets us serve the file.
Sign in with Google
Add a review
Sign in to comment.