Leveraging Applications of Formal Methods, Verification and Validation (Discussion, Dissemination, Applications : 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part II)

Name: Leveraging Applications of Formal Methods, Verification and Validation (Discussion, Dissemination, Applications : 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part II)
ISBN: 9783319471709

Author: Not available
Publisher: Springer Nature B.V.
Published: 20161008
ISBN: 9783319471709
ISBN registration area: German-language area (ISBN 978-3)

교보문고

YES24

알라딘

Statground may earn a commission when you purchase through an affiliate link.

Description

The two-volume set LNCS 9952 and LNCS 9953 constitutes the refereed proceedings of the 7th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2016, held in Imperial, Corfu, Greece, in October 2016. The papers presented in this volume were carefully reviewed and selected for inclusion in the proceedings.