Folgen
Remy Seassau
Remy Seassau
PhD Candiate, INRIA Paris
Bestätigte E-Mail-Adresse bei inria.fr
Titel
Zitiert von
Zitiert von
Jahr
Pancake: Verified Systems Programming Made Sweeter
JÅ Pohjola, HT Syeda, M Tanaka, K Winter, TW Sau, B Nott, TT Ung, ...
Proceedings of the 12th Workshop on Programming Languages and Operating …, 2023
22023
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.