Leveraging applications of formal methods, verification and validation [electronic resource] : technologies for mastering change ; 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings. Part I / Tiziana Margaria, Bernhard Steffen (eds.)

The two-volume set LNCS 7609 and 7610 constitutes the thoroughly refereed proceedings of the 5th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, held in Heraklion, Crete, Greece, in October 2012. The two volumes contain papers presented in the topic...

Full description

Saved in:
Bibliographic Details
Online Access: Full Text (via Springer)
Corporate Author: ISoLA (Symposium) Ērakleion, Greece)
Other Authors: Margaria-Steffen, Tiziana, 1964-, Steffen, Bernhard
Other title:ISoLA 2012.
Technologies for mastering change.
Format: Electronic Conference Proceeding eBook
Language:English
Published: Berlin ; New York : Springer, ©2012.
Series:Lecture notes in computer science ; 7609.
LNCS sublibrary. Theoretical computer science and general issues.
Subjects:

Internet

Full Text (via Springer)

Online

Holdings details from Online
Call Number: QA76.9.F67 I86 2012eb
QA76.9.F67 I86 2012eb Available