Welcome to IOU Digital Library

A peer-reviewed conference proceedings volume from the 24th International Conference on Foundations of Software Science and Computation Structures (FOSSACS 2021). The book presents advances in the theoretical foundations of computer science, including formal methods, logic, automata theory, semantics, type systems, verification, programming languages, and computational models that underpin modern software systems.

no reviews

245: $a: Foundations of Software Science and Computation Structures: 24th International Conference, FOSSACS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27–April 1, 2021, Proceedings
245: $b:
082: $a:
100: $a: Stefan Kiefer & Christine Tasson (Eds.)
650: $a: Computer Science
250: $a: 1st
440: $v:
250: $b: Springer Nature Switzerland AG
250: $c: 2021
020: $a: 978-3-030-71994-4
300: $a: 587