Ceur Workshop Proceedings
Event name
Ceur Workshop Proceedings
Country
Austria
Event format Veranstaltungsformat
On Site
Results 1-1 of 1 (Search time: 0.001 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 |