Reynald Affeldt, David Nowak, Yutaka Oiwa. Formal network packet processing with minimal fuss: invertible syntax descriptions at work. In Koen Claessen, Nikhil Swamy, editors, Proceedings of the sixth workshop on Programming Languages meets Program Verification, PLPV 2012, Philadelphia, PA, USA, January 24, 2012. pages 27-36, ACM, 2012. [doi]
Abstract is missing.