Artigos com autorizações de acesso público - Gregory MalechaSaiba mais
1 artigo não disponível publicamente
The MetaCoq Project
S Matthieu, A Anand, S Boulier, C Cohen, F Yannick, K Fabian, ...
Journal of Automated Reasoning 64 (5), 947-999, 2020
Autorizações: US National Science Foundation, European Commission
3 artigos disponíveis publicamente
Interaction trees: representing recursive and impure programs in Coq
L Xia, Y Zakowski, P He, CK Hur, G Malecha, BC Pierce, S Zdancewic
arXiv preprint arXiv:1906.00046, 2019
Autorizações: US National Science Foundation, US Department of Defense
The MetaCoq Project
M Sozeau, A Anand, S Boulier, C Cohen, Y Forster, F Kunze, G Malecha, ...
Journal of automated reasoning 64 (5), 947-999, 2020
Autorizações: US National Science Foundation, European Commission
Modular deductive verification of sampled-data systems
D Ricketts, G Malecha, S Lerner
Proceedings of the 13th International Conference on Embedded Software, 17, 2016
Autorizações: US National Science Foundation
As informações de publicação e financiamento são determinadas automaticamente por um programa de computador