Static and Dynamic Verification of OCaml Programs: The Gospel Ecosystem.

Tiago Lopes Soares, Ion Chirica, Mrio Pereira

Browse the full ISoLA paper archive.