Cover Image

Foundations of Software Science and Computation Structures 25th International Conference, FOSSACS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022, Proceedings

Show other versions (2)

This open access book constitutes the proceedings of the 25th International Conference on Foundations of Software Science and Computational Structures, FOSSACS 2022, which was held during April 4-6, 2022, in Munich, Germany, as part of the European Joint Conferences on Theory and Practice of Softwar...

Full description

Saved in:
Bibliographic Details
Other Authors: Bouyer, Patricia (Editor), Schröder, Lutz (Editor)
Format: Electronic Book Chapter
Language:English
Published: Cham Springer Nature 2022
Series:Lecture Notes in Computer Science
Subjects:
Computer science
Mathematical foundations
Algorithms & data structures
Systems analysis & design
Mathematical theory of computation
Categorical models and logics
language theory, automata, and games
modal, spatial, and temporal logics
type theory and proof theory
concurrency theory and process calculi
rewriting theory
semantics of programming languages
program analysis
logics of programming
software specification and refinement
models of concurrent systems
emerging models of computation
logical aspects of computational complexity
correctness, transformation, and verification
models of software security
Online Access:DOAB: download the publication
DOAB: description of the publication
Tags: Add Tag
No Tags, Be the first to tag this record!

Similar Items

Similar Items