Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles : 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20-30, 2020, Proceedings, Part I /

The three-volume set LNCS 12476 - 12478 constitutes the refereed proceedings of the 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, which was planned to take place during October 20-30, 2020, on Rhodes, Greece. The event itself was postponed to 2021 due to the C...

Full description

Bibliographic Details

Corporate Author:	SpringerLink (Online service)
Other Authors:	Margaria, Tiziana (Editor), Steffen, Bernhard (Editor)
Format:	eBook
Language:	English
Published:	Cham : Springer International Publishing : Imprint: Springer, 2020.
Edition:	1st ed. 2020.
Series:	Theoretical Computer Science and General Issues ; 12476
Subjects:	Software engineering. Computer logic. Artificial intelligence. Architecture, Computer. Software Engineering/Programming and Operating Systems. Logics and Meanings of Programs. Artificial Intelligence. Computer System Implementation. Electronic books.
Online Access:	Connect to the full text of this electronic book