Debugging P4 programs with vera.

Radu Stoenescu, Dragos Dumitrescu, Matei Popovici, Lorina Negreanu, Costin Raiciu

Browse the full SIGCOMM paper archive.