TY  - JOUR
AU  - Dániel Lukács
AU  - Gabriella Tóth
AU  - Máté Tejfel
TI  - P4Query: Static analyser framework for P4
JO  - Annales mathematicae et informaticae
PY  - 2023
SP  - 49
EP  - 64
VL  - 57
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/articles/10.33039/ami.2023.03.002/
DO  - 10.33039/ami.2023.03.002
LA  - en
ID  - AMI_2023_57_a3
ER  -