Report copyright - Project-Team proval Proofs of programs - Inria · • Proof of imperative and object-oriented programs, • Automated deduction for program proof, • Synchronous Programming. Development
Please pass captcha verification before submit form