Authoring Verified Documents by Interactive Proof Construction and Verification in Text-Editors

@inproceedings{pub4445,
    author = {

Dietrich, Dominik
 and 

Schulz, Ewaryst
 and 

Wagner, Marc
},
    title = {Authoring Verified Documents by Interactive Proof Construction and Verification in Text-Editors},
    booktitle = {Intelligent Computer Mathematics - 9th International Conference, AISC 2008, 15th Symposium, Calculemus 2008, 7th International Conference, MKM 208, Proceedings. Conferences on Intelligent Computer Mathematics (CICM-08), July 31-August 1, Birmingham, United Kingdom},
    series = {Lecture Notes in Artificial Intelligence (LNAI)},
    year = {2008},
    volume = {5144},
    pages = {398--414},
    journal = {Proceedings of the 9th AISC international conference, the 15th Calculemas symposium, and the 7th international MKM conference on Intelligent Computer Mathematics},
    publisher = {Springer}
}