Christoph Benzm\"uller (Freie Universit\"at Berlin

Identifiers

No identifiers captured yet.

Papers (1)

1. Systematic Verification of the Modal Logic Cube in Isabelle/HOL cs.LO · 2015 · author #1

Mentions

No mention provenance yet.

Frequent Coauthors

• Germany) 1 shared papers
• Maximilian Claus (Freie Universit\"at Berlin 1 shared papers
• Nik Sultana (Cambridge University 1 shared papers
• UK) 1 shared papers