Thomas Sewell
Visar 1 publikationer
2020
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
Tjänsten SwePub erbjuder uttag av Researchs listor i andra format, till exempel kan du få uttag av publikationer enligt Harvard och Oxford i .RIS, BibTex och RefWorks-format.
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.