Formal aspects of component software : 20th international conference, FACS 2024, Milan, Italy, September 9-10, 2024, proceedings / Diego Marmsoler, Meng Sun, editors.

This book constitutes the refereed proceedings of the 20th International Conference on Formal Aspects of Component Software, FACS 2024, held in Milan, Italy, during September 9-10, 2024. The 7 full papers and 1 short paper included in this book were carefully reviewed and selected from 16 submission...

Full description

Bibliographic Details

Online Access:	Full Text (via Springer)
Corporate Author:	FACS (Symposium) Milan, Italy)
Other Authors:	Marmsoler, Diego (Editor), Sun, Meng (Associate professor) (Editor)
Other title:	FACS 2024
Format:	Conference Proceeding eBook
Language:	English
Published:	Cham : Springer, [2024]
Series:	Lecture notes in computer science ; 15189.
Subjects:	Formal methods (Computer science) > Congresses. Component software > Congresses. Software engineering > Congresses.