Login / Signup
Diogo Campos da Silva
Publication Activity (10 Years)
Years Active: 2020-2020
Publications (10 Years): 1
Top Topics
Knowledge Discovery
Flow Analysis
Network Structure
Software Packages
Top Venues
NOMS
</>
Publications
</>
Karine Birnfeld
,
Diogo Campos da Silva
,
Weverton Cordeiro
,
Breno Bernard Nicolau de França
P4 Switch Code Data Flow Analysis: Towards Stronger Verification of Forwarding Plane Software.
NOMS
(2020)