Ewaryst Schulz

Publication Activity (10 Years)

Years Active: 2008-2011
Publications (10 Years): 0

Publications

Dominik Dietrich, Lutz Schröder, Ewaryst Schulz
Formalizing and Operationalizing Industrial Standards. FASE (2011)
Dominik Dietrich, Ewaryst Schulz
Crystal: Integrating Structured Queries into a Tactic Language. J. Autom. Reason. 44 (1-2) (2010)
Michael Kohlhase, Johannes Lemburg, Lutz Schröder, Ewaryst Schulz
Formal Management of CAD/CAM Processes. FM (2009)
Dominik Dietrich, Ewaryst Schulz, Marc Wagner
Authoring Verified Documents by Interactive Proof Construction and Verification in Text-Editors. AISC/MKM/Calculemus (2008)