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

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:	Electronic eBook
Language:	English
Published:	Cham : Springer International Publishing : Imprint: Springer, 2020.
Edition:	1st ed. 2020.
Series:	LNCS sublibrary. Theoretical computer science and general issues ; 12478.
Subjects:	Software engineering. Logic, Symbolic and mathematical. Artificial intelligence. Computers, Special purpose. Computer architecture.
Online Access:	Full text (Wentworth users only) Full text (Wentworth users only)