Originalsprog | Engelsk |
---|---|
Publikationsdato | 2016 |
Antal sider | 2 |
Status | Udgivet - 2016 |
Begivenhed | 22nd International Conference on Types for Proofs and Programs - Novi Sad, Serbien Varighed: 23 maj 2016 → 26 maj 2016 Konferencens nummer: 22 http://www.types2016.uns.ac.rs/ |
Konference
Konference | 22nd International Conference on Types for Proofs and Programs |
---|---|
Nummer | 22 |
Land/Område | Serbien |
By | Novi Sad |
Periode | 23/05/2016 → 26/05/2016 |
Internetadresse |