Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part I / edited by Tiziana Margaria, Bernhard Steffen.

The two-volume set LNCS 8802 and LNCS 8803 constitutes the refereed proceedings of the 6th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2014, held in Imperial, Corfu, Greece, in October 2014. The total of 67 full papers was carefully review...

Full description

Bibliographic Details

Corporate Author:	SpringerLink (Online service)
Other Authors:	Margaria, Tiziana (Editor), Steffen, Bernhard (Editor)
Format:	eBook
Language:	English
Published:	Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2014.
Edition:	1st ed. 2014.
Series:	Theoretical Computer Science and General Issues ; 8802 Springer eBook Collection.
Subjects:	Software engineering. Programming languages (Electronic computers). Computers. Mathematical logic. Computer logic. Artificial intelligence. Electronic resources (E-books)
Online Access:	Click to view e-book
Holy Cross Note:	Loaded electronically. Electronic access restricted to members of the Holy Cross Community.