Options
Title
Leveraging applications of formal methods, verification and validation. Specialized techniques and applications. 6th international symposium, ISoLA 2014. Vol.2
Title Supplement
Imperial, Corfu, Greece, October 8-11, 2014; Proceedings
Publisher
Publishing Place
Berlin
Publication Date
2014
Series
Lecture Notes in Computer Science; 8803
ISBN
978-3-662-45230-1
978-3-662-45231-8
3-662-45230-8