Leveraging applications of formal methods, verification and validation : Part II / 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20-30, 2020 : proceedings. Tiziana Margaria, Bernhard Steffen (eds.).

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:	ISoLA (Symposium) Online)
Other Authors:	Margaria-Steffen, Tiziana, 1964- (Editor), Steffen, Bernhard (Editor)
Format:	eBook
Language:	English
Published:	Cham, Switzerland : Springer, [2020]
Series:	Lecture notes in computer science ; 12477. LNCS sublibrary. Theoretical computer science and general issues.
Subjects:	Formal methods (Computer science) > Congresses. Computer software > Verification > Congresses. Software engineering > Congresses. Formal methods (Computer science) Computer software > Verification Artificial intelligence Computer architecture Computer logic Software engineering Electronic books. proceedings (reports) Conference papers and proceedings Conference papers and proceedings. Actes de congrès.
Online Access:	Click for online access