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
4 references
On models of higher-order separation logic
Aleš Bizjak et al. (2018) · Electronic Notes in Theoretical Computer Science
Ensuring the correctness of lightweight tactics for JavaCard dynamic logic
Richard Bubel et al. (2008) · Electronic Notes in Theoretical Computer Science
Local reasoning about data update
Cristiano Calcagno et al. (2007) · Electronic Notes in Theoretical Computer Science
Taclets and the KeY prover
Martin Giese (2004) · Electronic Notes in Theoretical Computer Science