Отримати власний профіль
Посилання
Усі | З 2019 | |
---|---|---|
Цитування | 4216 | 1682 |
h-індекс | 20 | 12 |
i10-індекс | 29 | 16 |
Доступні для всіх
Переглянути всі17 статей
1 стаття
доступні
недоступні
За умовами фінансування
Співавтори
- Gerwin KleinProofcraft and UNSWПідтверджена електронна адреса в unsw.edu.au
- Gernot HeiserProfessor of Computer Science, University of New South WalesПідтверджена електронна адреса в unsw.edu.au
- Toby MurraySchool of Computing and Information Systems, University of MelbourneПідтверджена електронна адреса в unimelb.edu.au
- Kevin ElphinstoneUniversity of New South WalesПідтверджена електронна адреса в cse.unsw.edu.au
- Michael NorrishAustralian National UniversityПідтверджена електронна адреса в anu.edu.au
- David CockSenior Researcher, ETH ZurichПідтверджена електронна адреса в cse.unsw.edu.au
- Dhammika ElkaduweUniversity of Peradeniya (www.pdn.ac.lk)Підтверджена електронна адреса в ce.pdn.ac.lk
- Ihor KuzSenior OS Engineer, Kry10 LtdПідтверджена електронна адреса в ikuz.org
- R JefferyUNSWПідтверджена електронна адреса в cse.unsw.edu.au
Підписатись
June Andronick
CEO and co-founcer, Proofcraft
Підтверджена електронна адреса в proofcraft.systems - Домашня сторінка