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 |