Recycling Proof Patterns in Coq: Case Studies

Jonathan Heras (Lead / Corresponding author), Ekaterina Komendantskaya (Lead / Corresponding author)

    Research output: Contribution to journalArticlepeer-review

    9 Citations (Scopus)
    Filter
    Finished

    Search results