Detail

Publication date: 1 de June, 2021

24TH INTERNATIONAL CONFERENCE ON TYPES FOR PROOFS AND PROGRAMS, TYPES 2018


Publisher Universitat Politècnica de Catalunya
Pub. Date 01/06/2018