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

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 International Publishing 2022, 2022
Edition:	1st ed. 2022
Series:	Lecture Notes in Computer Science
Subjects:	Microprogramming  Computer Science Logic And Foundations Of Programming Software Engineering Machine Theory Computer System Implementation Computer Science Formal Languages And Automata Theory Control Structures And Microprogramming Computers, Special Purpose Special Purpose And Application-based Systems Computer Systems
Online Access:	https://doi.org/10.1007/978-3-031-19849-6?nosfx=y
Collection:	Springer eBooks 2005- - Collection details see MPG.ReNa