अपनी एक प्रोफ़ाइल पाएं
इन्होंने कहा
सभी | 2019 से | |
---|---|---|
उद्धरण | 3891 | 1729 |
h-अनुक्रमणिका | 13 | 9 |
i10-अनुक्रमणिका | 13 | 9 |
सार्वजनिक ऐक्सेस
सभी देखें4 लेख
0 लेख
उपलब्ध
उपलब्ध नहीं
धन के अधिदेशों पर आधारित
सह-लेखक
- Gernot HeiserProfessor of Computer Science, University of New South Walesunsw.edu.au पर सत्यापित ईमेल
- Gerwin KleinProofcraft and UNSWunsw.edu.au पर सत्यापित ईमेल
- Michael NorrishAustralian National Universityanu.edu.au पर सत्यापित ईमेल
- Timothy RoscoeProfessor of Computer Science, ETH Zurichinf.ethz.ch पर सत्यापित ईमेल
- June AndronickCEO and co-founcer, Proofcraftproofcraft.systems पर सत्यापित ईमेल
- Kevin ElphinstoneUniversity of New South Walescse.unsw.edu.au पर सत्यापित ईमेल
- Kai Engelhardtn.a.acm.org पर सत्यापित ईमेल
- Dhammika ElkaduweUniversity of Peradeniya (www.pdn.ac.lk)ce.pdn.ac.lk पर सत्यापित ईमेल
- Reto AchermannUniversity of British Columbiacs.ubc.ca पर सत्यापित ईमेल
- Daniel SchwynETH Zürichinf.ethz.ch पर सत्यापित ईमेल