Pubblicazioni
Autori:
Gerco van Heerdt, Tobias Kappé, Jurriaan Rot, Matteo Sammartino, Alexandra Silva
Pubblicato in:
Proceedings of CMCS 2022, 2022, Pagina/e 67-87
Editore:
Springer
DOI:
10.1007/978-3-031-10736-8_4
Autori:
Jana Wagemaker, Nate Foster, Tobias Kappé, Dexter Kozen, Jurriaan Rot, Alexandra Silva
Pubblicato in:
Proceedings of ESOP 2022, 2022, Pagina/e 575-602
Editore:
Springer
DOI:
10.1007/978-3-030-99336-8_21
Autori:
Ryan Doenges, Tobias Kappé, John Sarracino, Nate Foster, Greg Morrisett
Pubblicato in:
Proceedings of PLDI 2022, 2022, Pagina/e 950-965
Editore:
ACM
DOI:
10.1145/3519939.3523715
È in corso la ricerca di dati su OpenAIRE...
Si è verificato un errore durante la ricerca dei dati su OpenAIRE
Nessun risultato disponibile