Martin Clochard

Identifiers

• name variant Martin Clochard 0.60 · backfill

Papers (2)

1. Gobra: Modular Specification and Verification of Go Programs (extended version) cs.PL · 2021 · author #3
2. Igloo: Soundly Linking Compositional Refinement and Separation Logic for Distributed System Verification cs.LO · 2020 · author #6

Mentions

• 2105.13840 #3 · arxiv_oai · confidence 0.70 Martin Clochard
• 2010.04749 #6 · arxiv_oai · confidence 0.70 Martin Clochard

Frequent Coauthors

• Felix A. Wolf 2 shared papers
• Peter M\"uller 2 shared papers
• Christoph Sprenger 1 shared papers
• David Basin 1 shared papers
• Jo\~ao C. Pereira 1 shared papers
• Linard Arquint 1 shared papers
• Marco Eilers 1 shared papers
• Tobias Klenze 1 shared papers
• Wytse Oortwijn 1 shared papers