Search Results for 'Wpre'

Wpre published presentations and documents on DocSlides.

Relatively Complete Verification of Higher-Order Programs

by giovanna-bartolotta

(via Automated Refinement Type Inference). Tachio...