Leveraging Applications Of Formal Methods, Verification And Validation. Technologies For Mastering Change: 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings
Use attributes for filter ! | |
Google books | books.google.com |
---|---|
Originally published | September 26, 2014 |
Date of Reg. | |
Date of Upd. | |
ID | 2027460 |
About Leveraging Applications Of Formal Methods, Verification And Validation. Technologies For Mastering Change: 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings
The two-volume set LNCS 8802 and LNCS 8803 constitutes the refereed proceedings of the 6th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2014, held in Imperial, Corfu, Greece, in October 2014. . . .