@incollection{DietrichEA11,
author = {Dietrich, Dominik and Schr{\"o}der, Lutz and Schulz, Ewaryst},
affiliation = {DFKI Bremen, Germany},
title = {Formalizing and Operationalizing Industrial Standards},
booktitle = {Fundamental Approaches to Software Engineering},
series = {Lecture Notes in Computer Science},
editor = {Giannakopoulou, Dimitra and Orejas, Fernando},
publisher = {Springer Berlin / Heidelberg},
isbn = {},
pages = {81-95},
volume = {6603},
url = {pubs/fase2011.pdf},
doi = {10.1007/978-3-642-19811-3_7},
note = {10.1007/978-3-642-19811-3_7},
year = {2011}
}
@inproceedings{DBLP:conf/fm/KohlhaseLSS09,
author = {Michael Kohlhase and
Johannes Lemburg and
Lutz Schr{\"o}der and
Ewaryst Schulz},
title = {Formal Management of CAD/CAM Processes},
year = {2009},
pages = {223-238},
url = {pubs/fm2009.pdf},
doi = {10.1007/978-3-642-05089-3_15},
editor = {Ana Cavalcanti and
Dennis Dams},
booktitle = {FM 2009: Formal Methods, Second World Congress, Eindhoven,
The Netherlands, November 2-6, 2009. Proceedings},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {5850},
isbn = {978-3-642-05088-6},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
@article{DS09,
author = {Dietrich, Dominik and Schulz, Ewaryst},
doi = {10.1007/s10817-009-9138-5},
issn = {0168-7433},
year = {2009},
journal = {Journal of Automated Reasoning},
title = {Crystal: Integrating Structured Queries into a Tactic Language}
}
@inproceedings{DBLP:conf/aisc/DietrichSW08,
author = {Dominik Dietrich and
Ewaryst Schulz and
Marc Wagner},
title = {Authoring Verified Documents by Interactive Proof Construction
and Verification in Text-Editors},
booktitle = {AISC/MKM/Calculemus},
year = {2008},
pages = {398-414},
url = {pubs/mkm2008.pdf},
doi = {10.1007/978-3-540-85110-3_34},
editor = {Serge Autexier and
John Campbell and
Julio Rubio and
Volker Sorge and
Masakazu Suzuki and
Freek Wiedijk},
booktitle = {Intelligent Computer Mathematics, 9th International Conference,
AISC 2008, 15th Symposium, Calculemus 2008, 7th International
Conference, MKM 2008, Birmingham, UK, July 28 - August 1,
2008. Proceedings},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {5144},
isbn = {978-3-540-85109-7},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
@inproceedings{DS08,
author = {Dietrich, Dominik and Schulz, Ewaryst},
title = {{CRStL}: A Declarative Language for the Encoding of Proof Techniques},
booktitle = {Workshop on Programming Languages for Mechanized Mathematics Systems , Birmingham, UK},
url = {pubs/plmms2008.pdf},
year = {2008}
}
This file was generated by bibtex2html 1.94.