Show simple item record

dc.contributor.editorBouyer, Patricia
dc.contributor.editorSchröder, Lutz
dc.date.accessioned2022-04-13T15:09:02Z
dc.date.available2022-04-13T15:09:02Z
dc.date.issued2022
dc.identifierONIX_20220413_9783030992538_22
dc.identifier.urihttps://library.oapen.org/handle/20.500.12657/54027
dc.description.abstractThis 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 Software, ETAPS 2022. The 23 regular papers presented in this volume were carefully reviewed and selected from 77 submissions. They deal with research on theories and methods to support the analysis, integration, synthesis, transformation, and verification of programs and software systems.
dc.languageEnglish
dc.relation.ispartofseriesLecture Notes in Computer Science
dc.subject.classificationthema EDItEUR::U Computing and Information Technology::UY Computer scienceen_US
dc.subject.classificationthema EDItEUR::P Mathematics and Science::PB Mathematics::PBC Mathematical foundationsen_US
dc.subject.classificationthema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMB Algorithms and data structuresen_US
dc.subject.classificationthema EDItEUR::U Computing and Information Technology::UY Computer science::UYD Systems analysis and designen_US
dc.subject.classificationthema EDItEUR::U Computing and Information Technology::UY Computer science::UYA Mathematical theory of computationen_US
dc.subject.otherCategorical models and logics
dc.subject.otherlanguage theory, automata, and games
dc.subject.othermodal, spatial, and temporal logics
dc.subject.othertype theory and proof theory
dc.subject.otherconcurrency theory and process calculi
dc.subject.otherrewriting theory
dc.subject.othersemantics of programming languages
dc.subject.otherprogram analysis
dc.subject.otherlogics of programming
dc.subject.othersoftware specification and refinement
dc.subject.othermodels of concurrent systems
dc.subject.otheremerging models of computation
dc.subject.otherlogical aspects of computational complexity
dc.subject.othercorrectness, transformation, and verification
dc.subject.othermodels of software security
dc.titleFoundations of Software Science and Computation Structures
dc.title.alternative25th 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
dc.typebook
oapen.identifier.doi10.1007/978-3-030-99253-8
oapen.relation.isPublishedBy6c6992af-b843-4f46-859c-f6e9998e40d5
oapen.relation.isbn9783030992538
oapen.imprintSpringer International Publishing
oapen.series.number13242
oapen.pages471
oapen.place.publicationCham


Files in this item

Thumbnail

This item appears in the following Collection(s)

Show simple item record