Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.
Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.
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]