Suivre
Remy Seassau
Remy Seassau
PhD Candiate, INRIA Paris
Adresse e-mail validée de inria.fr
Titre
Citée par
Citée par
Année
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
12023
Le système ne peut pas réaliser cette opération maintenant. Veuillez réessayer plus tard.