Interactive theorem proving : second international conference, ITP 2011, Berg en Dal, The Netherlands, 22-25, 2011 : proceedings

Marko van Eekelen (Editor), J.H. Geuvers (Editor), J. Schmaltz (Editor), F. Wiedijk (Editor)

Research output: Book/ReportBook editingAcademic

Fingerprint

Dive into the research topics of 'Interactive theorem proving : second international conference, ITP 2011, Berg en Dal, The Netherlands, 22-25, 2011 : proceedings'. Together they form a unique fingerprint.

Engineering & Materials Science