Experience Report on the Formal Specification of a Packet Filtering Language Using the K Framework

Abstract

Publication
Report: Inria Rennes Bretagne Atlantique
Date