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 Notes in Theoretical Computer Science
A conference, workshop or journal: the thing that recurs, across all its years.
Elsevier's series for workshop proceedings in theoretical computer science, running from the late 1990s until it was discontinued in 2021. Many workshops of that period are citable only through an ENTCS volume, which is what keeps it in a bibliography.
https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science
5 references
On models of higher-order separation logic
Aleš Bizjak and others (2018) · Electronic Notes in Theoretical Computer Science
Ensuring the correctness of lightweight tactics for JavaCard dynamic logic
Richard Bubel and others (2008) · Electronic Notes in Theoretical Computer Science
Local reasoning about data update
Cristiano Calcagno and others (2007) · Electronic Notes in Theoretical Computer Science
Synthesis of Mealy Machines Using Derivatives
Helle Hvid Hansen and others (2006) · Electronic Notes in Theoretical Computer Science · Elsevier
Taclets and the KeY prover
Martin Giese (2004) · Electronic Notes in Theoretical Computer Science