%0 Conference Paper %1 conf/aisc/DietrichSW08 %A Dietrich, Dominik %A Schulz, Ewaryst %A Wagner, Marc %B AISC/MKM/Calculemus %D 2008 %E Autexier, Serge %E Campbell, John A. %E Rubio, Julio %E Sorge, Volker %E Suzuki, Masakazu %E Wiedijk, Freek %I Springer %K %P 398-414 %T Authoring Verified Documents by Interactive Proof Construction and Verification in Text-Editors. %U http://dblp.uni-trier.de/db/conf/aisc/aisc2008.html#DietrichSW08 %V 5144 %@ 978-3-540-85109-7

@inproceedings{conf/aisc/DietrichSW08, added-at = {2023-12-13T01:57:53.000+0100}, author = {Dietrich, Dominik and Schulz, Ewaryst and Wagner, Marc}, biburl = {https://www.bibsonomy.org/bibtex/22adb2388290bcc03962abe7cdfe822a0/admin}, booktitle = {AISC/MKM/Calculemus}, crossref = {conf/aisc/2008}, editor = {Autexier, Serge and Campbell, John A. and Rubio, Julio and Sorge, Volker and Suzuki, Masakazu and Wiedijk, Freek}, ee = {https://doi.org/10.1007/978-3-540-85110-3_34}, interhash = {78f2922dc5541a594e0fde8551731650}, intrahash = {2adb2388290bcc03962abe7cdfe822a0}, isbn = {978-3-540-85109-7}, keywords = {}, pages = {398-414}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2023-12-13T01:57:53.000+0100}, title = {Authoring Verified Documents by Interactive Proof Construction and Verification in Text-Editors.}, url = {http://dblp.uni-trier.de/db/conf/aisc/aisc2008.html#DietrichSW08}, volume = 5144, year = 2008 }