Year of Publication
2014
Book Title
Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications
Volume
8803
Number of Pages
391-403
Publisher
Springer Berlin Heidelberg
ISBN Number
978-3-662-45230-1
URL
http://dx.doi.org/10.1007/978-3-662-45231-8_30
DOI
10.1007/978-3-662-45231-8_30
Series Title
Lecture Notes in Computer Science