Veröffentlichungen
Autoren:
Gerco van Heerdt, Tobias Kappé, Jurriaan Rot, Matteo Sammartino, Alexandra Silva
Veröffentlicht in:
Proceedings of CMCS 2022, 2022, Seite(n) 67-87
Herausgeber:
Springer
DOI:
10.1007/978-3-031-10736-8_4
Autoren:
Jana Wagemaker, Nate Foster, Tobias Kappé, Dexter Kozen, Jurriaan Rot, Alexandra Silva
Veröffentlicht in:
Proceedings of ESOP 2022, 2022, Seite(n) 575-602
Herausgeber:
Springer
DOI:
10.1007/978-3-030-99336-8_21
Autoren:
Ryan Doenges, Tobias Kappé, John Sarracino, Nate Foster, Greg Morrisett
Veröffentlicht in:
Proceedings of PLDI 2022, 2022, Seite(n) 950-965
Herausgeber:
ACM
DOI:
10.1145/3519939.3523715
Suche nach OpenAIRE-Daten ...
Bei der Suche nach OpenAIRE-Daten ist ein Fehler aufgetreten
Es liegen keine Ergebnisse vor