in_proceedings
Detail
Publication date: 1 de June, 202124TH INTERNATIONAL CONFERENCE ON TYPES FOR PROOFS AND PROGRAMS, TYPES 2018
| Publisher | Universitat Politècnica de Catalunya |
|---|---|
| Pub. Date | 01/06/2018 |
| Publisher | Universitat Politècnica de Catalunya |
|---|---|
| Pub. Date | 01/06/2018 |