Afficher la notice abrégée

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

dc.contributor.editorBouyer, Patricia
dc.contributor.editorSchröder, Lutz
dc.date.accessioned2025-03-07T20:39:05Z
dc.date.available2025-03-07T20:39:05Z
dc.date.issued2022
dc.date.submitted2022-04-13T15:09:02Z
dc.identifierONIX_20220413_9783030992538_22
dc.identifierOCN: 1308973551
dc.identifierhttps://library.oapen.org/handle/20.500.12657/54027
dc.identifier.urihttps://doab-dev.siscern.org/handle/20.500.12854/166037
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.rightsopen access
dc.subject.classificationthema EDItEUR::U Computing and Information Technology::UY Computer science
dc.subject.classificationthema EDItEUR::P Mathematics and Science::PB Mathematics::PBC Mathematical foundations
dc.subject.classificationthema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMB Algorithms and data structures
dc.subject.classificationthema EDItEUR::U Computing and Information Technology::UY Computer science::UYD Systems analysis and design
dc.subject.classificationthema EDItEUR::U Computing and Information Technology::UY Computer science::UYA Mathematical theory of computation
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.isPublishedBy9fa3421d-f917-4153-b9ab-fc337c396b5a
oapen.relation.isbn9783030992538
oapen.imprintSpringer International Publishing
oapen.pages471
oapen.place.publicationCham
dc.seriesnumber13242


Fichier(s) constituant ce document

FichiersTailleFormatVue

Il n'y a pas de fichiers associés à ce document.

Ce document figure dans la(les) collection(s) suivante(s)

Afficher la notice abrégée

open access
Excepté là où spécifié autrement, la license de ce document est décrite en tant que open access