Foundations of software science and computation structures : 26th International Conference, FoSSaCS 2023, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22-27, 2023, Proceedings /

This open access book constitutes the proceedings of the 26th International Conference on Foundations of Software Science and Computational Structures, FOSSACS 2023, which was held during April 22-27, 2023, in Paris, France, as part of the European Joint Conferences on Theory and Practice of Softwar...

Full description

Saved in:
Bibliographic Details
Corporate Authors: FOSSACS (Conference) Paris, France), ETAPS (Conference)
Other Authors: Kupferman, Orna (Editor), Sobocinski, Pawel (Editor)
Format: Electronic Conference Proceeding eBook
Language:English
Published: Cham, Switzerland : Springer, 2023.
Series:Lecture notes in computer science ; 13992.
Lecture notes in computer science. Advanced research in computing and software science.
Subjects:
Online Access:CONNECT
CONNECT