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. Part II /
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. The total of 67 full papers was carefully review...
Corporate Authors: | ISoLA (Symposium) Kerkyra, Greece) |
---|---|
Other Authors: | ISoLA (Symposium), Margaria-Steffen, Tiziana, 1964-, Steffen, Bernhard,, SpringerLink (Online service) |
Format: | eBook |
Language: | English |
Published: |
Heidelberg :
Springer,
2014.
|
Physical Description: |
1 online resource (xviii, 644 pages) : illustrations. |
Series: |
Lecture notes in computer science ;
8803. LNCS sublibrary. Theoretical computer science and general issues. |
Subjects: |
CMU Electronic Access
Electronic Resource Click HereLocation | Call Number: | Status |
---|---|---|
CMU Electronic Access | Available |