Zobrazeno 1 - 6
of 6
pro vyhledávání: '"Apostolos Chatzopoulos"'
Publikováno v:
Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications ISBN: 9783662452301
A large number of tools that automate the process of finding errors in programs has recently emerged in the software development community. Many of them use static analysis as the main method for analyzing and capturing faults in the source code. Sta
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::da87caa1de91f55d16a858449acf87a2
https://doi.org/10.1007/978-3-662-45231-8_39
https://doi.org/10.1007/978-3-662-45231-8_39
Publikováno v:
Leveraging Applications of Formal Methods, Verification & Validation. Specialized Techniques & Applications: Part II; 2014, p486-488, 3p
Publikováno v:
Leveraging Applications of Formal Methods, Verification & Validation. Specialized Techniques & Applications: Part II; 2014, p479-481, 3p
Publikováno v:
Leveraging Applications of Formal Methods, Verification & Validation. Technologies for Mastering Change: Part I; 2014, p1-1, 1p
Autor:
Tiziana Margaria, Bernhard Steffen
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
Autor:
Tiziana Margaria, Bernhard Steffen
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