Maximilian Claus

According to our database, Maximilian Claus authored at least 1 paper in 2015.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2015

Systematic Verification of the Modal Logic Cube in Isabelle/HOL.

Christoph Benzmüller, Maximilian Claus, Nik Sultana

Proceedings of the Proceedings Fourth Workshop on Proof eXchange for Theorem Proving, 2015