M.: Authoring verified documents by interactive proof construction and verification in text-editors (2008)

by D Dietrich, E Schulz, Wagner
Venue:Lecture Notes in Computer Science Volume 5144