Autori: Schmitt Alan
| Naslov | HOCore in Coq (Proceedings Paper) |
| Autori | Maksimovic Petar Schmitt Alan |
| Info | INTERACTIVE THEOREM PROVING, (2015), vol. 9236 br. , str. 278-293 |
| Projekat | ANRFrench National Research Agency (ANR) [2010-BLAN-0305 PiCoq]; Serbian Ministry of Education, Science and Technological Development [III44006, ON174026] |
| Ispravka | ISI/Web of Science Članak Elečas Rang časopisa Citati: ISI/Web of Science |
