Proceedings of the CICIM Workshops on ESARM-08
Book title Buchtitel
Proceedings of the CICIM Workshops on ESARM-08
Editor Herausgeber_in
Publisher Herausgeber
CEUR-WS.org
Series Schriftenreihe
CEUR Workshop Proceedings
Results 1-1 of 1 (Search time: 0.002 seconds).
| Preview | Authors / Editors | Title | Type | Issue Date | |
|---|---|---|---|---|---|
| 1 | Leitsch, Alexander ; Hetzl, Stefan ; Weller, Daniel ; Woltzenlogel-Paleo, Bruno ; Sutcliffe, Geoff ; Colton, Simon ; Schulz, Stephan | Proof Analysis with HLK, CERES and ProofTool: Current Status and Future Directions | Konferenzbeitrag Inproceedings | 2008 |