STARVOORS: A Tool for Combined Static and Runtime Verification of Java
Paper i proceeding, 2015
Författare
Mauricio Chimento
Chalmers, Data- och informationsteknik, Programvaruteknik
Wolfgang Ahrendt
Chalmers, Data- och informationsteknik, Programvaruteknik
Gordon Pace
University of Malta
Gerardo Schneider
Göteborgs universitet
Publicerad i
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
03029743 (ISSN) 16113349 (eISSN)
Vol. 9333 s. 297-305978-3-319-23820-3 (ISBN)
Kategorisering
Ämneskategorier (SSIF 2011)
Data- och informationsvetenskap
Datavetenskap (datalogi)
Identifikatorer
DOI
10.1007/978-3-319-23820-3_21
ISBN
978-3-319-23820-3