Thomas Sewell

Visar 1 publikationer

2020

Proof pearl: Braun trees

Tobias Nipkow, Thomas Sewell
CPP 2020 - Proceedings of the 9th ACM SIGPLAN International Conference on Certified Programs and Proofs, co-located with POPL 2020, p. 18-31
Paper i proceeding

Ladda ner publikationslistor

Du kan ladda ner denna lista till din dator.

Filtrera och ladda ner publikationslista

Som inloggad användare hittar du ytterligare funktioner i MyResearch.

Du kan även exportera direkt till Zotero eller Mendeley genom webbläsarplugins. Dessa hittar du här:

Zotero Connector
Mendeley Web Importer

Det finns inga projekt att visa.
Det kan finnas fler projekt där Thomas Sewell medverkar, men du måste vara inloggad som anställd på Chalmers för att kunna se dem.