Folgen
Matteo Rizzo
Matteo Rizzo
Bestätigte E-Mail-Adresse bei google.com
Titel
Zitiert von
Zitiert von
Jahr
Verifying software network functions with no verification expertise
A Zaostrovnykh, S Pirelli, R Iyer, M Rizzo, L Pedrosa, K Argyraki, ...
Proceedings of the 27th ACM Symposium on Operating Systems Principles, 275-290, 2019
492019
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.