Post-Doc, Departamento de Informática
Thesis Title: Formal Proofs and Refutations
|
Grigori Mints
|
Contact Information
| Homepage: | |
| Address: | CENTRIA |
| Telephone: |
+351-21-294-8536 |









