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.