%0 Journal Article
%A Dániel Lukács
%A Gabriella Tóth
%A Máté Tejfel
%T P4Query: Static analyser framework for P4
%J Annales mathematicae et informaticae
%D 2023
%P 49-64
%V 57
%I mathdoc
%U http://geodesic.mathdoc.fr/articles/10.33039/ami.2023.03.002/
%R 10.33039/ami.2023.03.002
%G en
%F AMI_2023_57_a3