NASA Formal Methods : 7th International Symposium, NFM 2015, Pasadena, CA, USA, April 27-29, 2015, Proceedings

This book constitutes the refereed proceedings of the 7th International Symposium on NASA Formal Methods, NFM 2015, held in Pasadena, CA, USA, in April 2015. The 24 revised regular papers presented together with 9 short papers were carefully reviewed and selected from 108 submissions. The topics inc...

Full description

Saved in:
Corporate Author: SpringerLink (online služba)
Other Authors: Havelund, Klaus (Editor), Holzmann, Gerard (Editor), Joshi, Rajeev (Editor)
Format: eBook
Language:English
Published: Cham : Springer International Publishing, 2015
Series:Lecture Notes in Computer Science
Genre/form:elektronické knihy
ISBN:978-3-319-17524-9
9783319175232
Subjects:
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!

Internet

Get full text
Status Sublibrary Description Location LCC Callnumber Old Callnumber