Ouedraogo_2023:
  type: article
  title: 'Coqlex: Generating Formally Verified Lexers'
  author:
  - Ouedraogo, Wendlasida
  - Scherer, Gabriel
  - Strassburger, Lutz
  date: 2023-06
  url: http://dx.doi.org/10.22152/programming-journal.org/2024/8/3
  serial-number:
    doi: 10.22152/programming-journal.org/2024/8/3
    issn: 2473-7321
  parent:
    type: periodical
    title: The Art, Science, and Engineering of Programming
    publisher: Aspect-Oriented Software Association (AOSA)
    issue: 1
    volume: 8