SYSTEMF - Systems and Formalisms lab

Search:

Sort by

Select collection Select collection

Select output format

SYSTEMF - Systems and Formalisms lab	2 records found	Search took 0.21 seconds.

1.	PDF hatra23 Diagrammatic notations for interactive theorem proving Chiplunkar, Shardul ; Pit-Claudel, Clément 22 October 2023 \| Conference Papers \| Detailed record - Similar records
2.	PDF Immediate tracing report - Infoscience version Immediate Tracing Aebi, Valentin ; Chiplunkar, Shardul ; Pit-Claudel, Clément 10 July 2023 \| Student Projects \| Detailed record - Similar records

Interested in being notified about new results for this query?
Set up a personal email alert or subscribe to the RSS feed.