Leveraging Applications of Formal Methods, Verification and Validation 10th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2021, Rhodes, Greece, October 17–29, 2021, Proceedings

This book constitutes contributions of the ISoLA 2021 associated events. Altogether, ISoLA 2021 comprises contributions from the proceedings originally foreseen for ISoLA 2020 collected in 4 volumes, LNCS 12476: Verification Principles, LNCS 12477: Engineering Principles, LNCS 12478: Applications, a...

Full description

Bibliographic Details

Other Authors:	Margaria, Tiziana (Editor), Steffen, Bernhard (Editor)
Format:	eBook
Language:	English
Published:	Cham Springer International Publishing 2021, 2021
Edition:	1st ed. 2021
Series:	Theoretical Computer Science and General Issues
Subjects:	Compilers (computer Programs) Compilers And Interpreters Software Engineering Programming Techniques Computer Programming Artificial Intelligence Application Software Computer And Information Systems Applications
Online Access:	https://doi.org/10.1007/978-3-030-89159-6?nosfx=y
Collection:	Springer eBooks 2005- - Collection details see MPG.ReNa