Journals associated with the name Electronic Proceedings in Theoretical Computer Science:
- LibNDT: Towards a Formal Library on Spreadable Properties over Linked Nested DatatypesMathieu Montin, Amélie Ledein, Catherine Dubois. Electronic Proceedings in Theoretical Computer Science, 360:27-44, jun 2022. [doi]
- Sikkel: Multimode Simple Type Theory as an Agda LibraryJoris Ceulemans, Andreas Nuyts, Dominique Devriese. Electronic Proceedings in Theoretical Computer Science, 360:93-112, jun 2022. [doi]
- Experience Report: Teaching Code Analysis and Verification Using Frama-CSalwa Souaf, Frédéric Loulergue. Electronic Proceedings in Theoretical Computer Science, 349:69-75, nov 2021. [doi]
- Everybody's Got To Be SomewhereConor McBride. Electronic Proceedings in Theoretical Computer Science, 275:53-69, Jul 2018. [doi]
- How to Put Usability into Focus: Using Focus Groups to Evaluate the Usability of Interactive Theorem ProversBernhard Beckert, Sarah Grebing, Florian Böhl. Electronic Proceedings in Theoretical Computer Science, 167:4-13, oct 2014. [doi]
- Nonuniform Coercions via Unification HintsSacerdoti Coen, Claudio, Tassi, Enrico. Electronic Proceedings in Theoretical Computer Science, 53, Mar 2011. [doi]