Electronic Proceedings in Theoretical Computer Science
A conference, workshop or journal: the thing that recurs, across all its years.
An open-access, author-funded-free series carrying the proceedings of workshops and conferences in theoretical computer science. EPTCS exists so that a small workshop can publish a citable, permanently archived volume without a commercial publisher; everything in it is free to read and the authors keep their copyright.
2 references
OpenJML: Software verification for Java 7 using JML, OpenJDK, and Eclipse
David R. Cok (2014) · Electronic Proceedings in Theoretical Computer Science
Lessons Learned From Microkernel Verification — Specification is the New Bottleneck
Christoph Baumann et al. (2012) · Electronic Proceedings in Theoretical Computer Science