Foundations of Software Science and Computation Structures (FoSSaCS)
A conference, workshop or journal: the thing that recurs, across all its years.
The theory conference within ETAPS: semantics, automata, type theory, categorical models and the mathematics underlying programming and verification.
Part of Lecture Notes in Computer Science.
2 references
Foundations for Decision Problems in Separation Logic with General Inductive Predicates
Timos Antonopoulos et al. (2014) · Foundations of Software Science and Computation Structures
A WP-calculus for OO
Frank S. de Boer (1999) · Foundations of Software Science and Computation Structures