Følg
Matteo Rizzo
Matteo Rizzo
Verificeret mail på google.com
Titel
Citeret af
Citeret af
År
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
Systemet kan ikke foretage handlingen nu. Prøv igen senere.