Search Results for 'Wpre'

Wpre published presentations and documents on DocSlides.

Relatively Complete Verification of Higher-Order Programs

Relatively Complete Verification of Higher-Order Programs

giovanna-bartolotta
22 Slides

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

Copyright © 2024 DocSlides. All Rights Reserved