Leveraging Applications of Formal Methods, Verification and Validation : Specialized Techniques and Applications, 6th International Symposium Isola 2014 Imperial, Corfu, Greece October 8-11 2014 Proceedings
ISBN: 9783662452318
Information Available:
Summary
Cover Image
Copyright held by Baker & Taylor.