TY  - RPRT
TI  - Industrial Experience Report on the Formal Specification of a Packet Filtering Language Using the K Framework
AU  - Gurvan Le Guernic
AU  - Benoit Combemale
AU  - José A. Galindo
PY  - 2017
DO  - 10.4204/eptcs.240.3
UR  - https://arxiv.org/abs/1701.08467
ID  - 1701.08467
ER  -