Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22–30, 2022, Proceedings, Part II

This four-volume set LNCS 13701-13704 constitutes contributions of the associated events held at the 11th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2022, which took place in Rhodes, Greece, in October/November 2022. The contributions in the four-volume set are organ...

Full description

Bibliographic Details

Other Authors:	Margaria, Tiziana (Editor), Steffen, Bernhard (Editor)
Format:	eBook
Language:	English
Published:	Cham Springer Nature Switzerland 2022, 2022
Edition:	1st ed. 2022
Series:	Lecture Notes in Computer Science
Subjects:	Computer Systems Software Engineering Computer Science Computer System Implementation Artificial Intelligence Computer Networks  Computer Engineering And Networks Computer Engineering Theory Of Computation Special Purpose And Application-based Systems Computers, Special Purpose
Online Access:	https://doi.org/10.1007/978-3-031-19756-7?nosfx=y
Collection:	Springer eBooks 2005- - Collection details see MPG.ReNa