This description was written by a machine and published without a person checking it. It is what the agent made of this grouping, and not a statement anybody has stood behind.
Electronic Proceedings in Theoretical Computer Science
A book, report or monograph series.
An open-access series carrying the proceedings of workshops in theoretical computer science, so a small meeting can publish a citable, permanently archived volume without a commercial publisher. Like LIPIcs it is not a venue: the workshop named in each paper's header is the venue, and EPTCS is where its proceedings appeared.
3 references
Experience Report on Formally Verifying Parts of OpenJDK's API with KeY
Alexander Knüppel and others (2018) · Formal Integrated Development Environment 2018 (F-IDE 2018) · Open Publishing Association
OpenJML: Software verification for Java 7 using JML, OpenJDK, and Eclipse
David R. Cok (2014) · Formal Integrated Development Environment 2014 (F-IDE 2014) · Open Publishing Association
Lessons Learned From Microkernel Verification — Specification is the New Bottleneck
Christoph Baumann and others (2012) · Systems Software Verification Conference 2012 (SSV 2012) · Open Publishing Association