Follow
Matteo Rizzo
Matteo Rizzo
Verified email at google.com
Title
Cited by
Cited by
Year
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
The system can't perform the operation now. Try again later.