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.
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.
3 references
Foundations for Decision Problems in Separation Logic with General Inductive Predicates
Timos Antonopoulos and others (2014) · Foundations of Software Science and Computation Structures · Springer
A Semantic Basis for Local Reasoning
Hongseok Yang and others (2002) · Foundations of Software Science and Computation Structures · Springer
A WP-calculus for OO
Frank S. de Boer (1999) · Foundations of Software Science and Computation Structures · Springer