Search Results for 'Jhala'

Jhala published presentations and documents on DocSlides.

Abstractions from Proofs Thomas A

by tatiana-dople

Henzinger Ranjit Jhala Rupak Majumdar EECS Depart...

Ranjit Jhala Abstractions from Proofs

by alexa-scheidler

(With T. . Henzinger. , R. . Majumdar. , K. McMil...