Archive of Formal Proofs

Venue statistics

records by year

document access 

    frequent authors

      Venue Information

      text to speech
      • issn: 2150-914x
      • access: some or all publications openly available

      Archive of Formal Proofs Home Page

      a service of  Schloss Dagstuhl - Leibniz Center for Informatics