Search Results for 'hastype'

hastype published presentations and documents on DocSlides.

HAVOC: A precise and scalable verifier for systems software

by alexa-scheidler

Shaz Qadeer. Microsoft Research. Collaborators. R...