Skip to content
A digital service from FCT
open_in_new
VuFind
The single point of research and access to open access scientific and academic content in Portugal.
Home
About
Directory
Help
Language
arrow_drop_down
Português
English
search
Publication
Person
Project
Resource
Organization
All records
Advanced
menu
Practical Deductive Verificati...
Email Record
Email Record:
Practical Deductive Verification of OCaml Programs
To:
Message:
CAPTCHA:
close