@misc{indiciae1cf972b4dbde,
  title = {Industrial Experience Report on the Formal Specification of a Packet Filtering Language Using the K Framework},
  author = {Gurvan Le Guernic and Benoit Combemale and José A. Galindo},
  year = {2017},
  doi = {10.4204/eptcs.240.3},
  url = {https://arxiv.org/abs/1701.08467},
  note = {Source identifier: 1701.08467}
}