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 /

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

Bibliographic Details

Corporate Authors:	FOSSACS (Conference) Munich, Germany), ETAPS (Conference)
Other Authors:	Bouyer, Patricia, 1976- (Editor), Schröder, Lutz (Editor), Schröder, Lutz (Editor)
Format:	Conference Proceeding Book
Language:	English
Published:	Cham, Switzerland : Springer, 2022
Series:	Lecture notes in computer science ; 13242 Lecture notes in computer science Advanced research in computing and software science.
Subjects:	Computer software > Congresses Software engineering > Congresses Génie logiciel > Congrès Génie logiciel > Congrès Logiciels > Congrès Logiciels > Congrès Computer software Software engineering Electronic books Conference papers and proceedings