Tóth, Gabriella, and Máté Tejfel. 2021. “Component-Based Error Detection of P4 Programs”. Acta Cybernetica 25 (2), 537-54. https://doi.org/10.14232/actacyb.289731.