Search Results
-
1
Leveraging applications of formal methods, verification and validation : specialized techniques and applications : 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece,...
Published: Springer, 2014SpringerLink - Click here for accessDescription: 1 online resource (xviii, 644 pages) : illustrations.
Conference Proceeding eBook -
2
Leveraging applications of formal methods, verification and validation : specialized techniques and applications : 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece,...
Published: Springer, 2014SpringerLink - Click here for accessDescription: 1 online resource (xviii, 547 pages) : illustrations.
Conference Proceeding eBook -
3
Leveraging applications of formal methods, verification and validation : foundational techniques : 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14,...
Published: Springer, 2016SpringerLink - Click here for accessDescription: 1 online resource (xxiii, 974 pages) : illustrations.
Conference Proceeding eBook -
4
Leveraging applications of formal methods, verification and validation : discussion, dissemination, applications : 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece,...
Published: Springer, 2016SpringerLink - Click here for accessDescription: 1 online resource (xxiv, 866 pages) : illustrations.
Conference Proceeding eBook -
5
Leveraging applications of formal methods, verification, and validation : 6th International Symposium, ISoLA 2014, Corfu, Greece, October 8-11, 2014, and 5th International Symposiu...
Published: Springer, 2016SpringerLink - Click here for accessDescription: 1 online resource (vii, 157 pages) : illustrations.
Conference Proceeding eBook