Letitia W. Li, Greg Eakman, Elias J. M. Garcia, Sam Atman. Accessible Formal Methods for Verified Parser Development. In IEEE Security and Privacy Workshops, SP Workshops 2021, San Francisco, CA, USA, May 27, 2021. pages 142-151, IEEE, 2021. [doi]
Abstract is missing.