Publicaciones
Autores:
Gerco van Heerdt, Tobias Kappé, Jurriaan Rot, Matteo Sammartino, Alexandra Silva
Publicado en:
Proceedings of CMCS 2022, 2022, Página(s) 67-87
Editor:
Springer
DOI:
10.1007/978-3-031-10736-8_4
Autores:
Jana Wagemaker, Nate Foster, Tobias Kappé, Dexter Kozen, Jurriaan Rot, Alexandra Silva
Publicado en:
Proceedings of ESOP 2022, 2022, Página(s) 575-602
Editor:
Springer
DOI:
10.1007/978-3-030-99336-8_21
Autores:
Ryan Doenges, Tobias Kappé, John Sarracino, Nate Foster, Greg Morrisett
Publicado en:
Proceedings of PLDI 2022, 2022, Página(s) 950-965
Editor:
ACM
DOI:
10.1145/3519939.3523715
Buscando datos de OpenAIRE...
Se ha producido un error en la búsqueda de datos de OpenAIRE
No hay resultados disponibles