Lukács, Dániel, Tóth, Gabriella, Tejfel, Máté (2023) P4Query: Static analyser framework for P4 Annales Mathematicae et Informaticae. 57. pp. 49-64. ISSN 1787-6117 (Online)