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 /: Patricia Bouyer, Lutz Schröder (eds.).

Bouyer, Patricia,; Schröder, Lutz,

doi:10.1007/978-3-030-99253-8

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 / Patricia Bouyer, Lutz Schröder (eds.).

FOSSACS (Conference) (25th : 2022 : Munich, Germany); Bouyer, Patricia, 1976- editor.; Schröder, Lutz, editor.; ETAPS (Conference) (25th : 2022 : Munich, Germany)

2022

QA76.751 .F67 2022eb

Available Online

Formats

Format
BibTeX
MARCXML
TextMARC
MARC
DublinCore
EndNote
NLM
RefWorks
RIS

Add to Basket

Cite

Linked e-resources

Linked Resource

Online Access

Concurrent users

Unlimited

Authorized users

Open access

Document Delivery Supplied

Open access

Details

Title

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 / Patricia Bouyer, Lutz Schröder (eds.).

Meeting Name

FOSSACS (Conference) (25th : 2022 : Munich, Germany)

ISBN

9783030992538 (electronic bk.)
3030992535 (electronic bk.)
9783030992521 (print)
3030992527

DOI

https://doi.org/10.1007/978-3-030-99253-8

Published

Cham, Switzerland : Springer, 2022.

Language

English

Description

1 online resource (xvi, 471 pages) : illustrations.

Item Number

10.1007/978-3-030-99253-8 doi

Call Number

QA76.751 .F67 2022eb

Dewey Decimal Classification

005.1

Summary

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 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.

Note

Includes author index.

Access Note

Open access.

Source of Description

Online resource; title from PDF title page (SpringerLink, viewed April 5, 2022).

Added Author

Bouyer, Patricia, 1976- editor.
Schröder, Lutz, editor.

Added Meeting Name

ETAPS (Conference) (25th : 2022 : Munich, Germany)

Series

Lecture notes in computer science ; 13242.
Lecture notes in computer science. Advanced research in computing and software science.