Static and Runtime Verification, Competitors or Friends? (Track Summary).

Authors :: Gurov, Dilian
Havelund, Klaus
Huisman, Marieke
Monahan, Rosemary
Source :: Leveraging Applications of Formal Methods, Verification & Validation: Foundational Techniques; 2016, p397-401, 5p
Publication Year :: 2016

Language :: English
ISBNs :: 9783319471655
Database :: Complementary Index
Journal :: Leveraging Applications of Formal Methods, Verification & Validation: Foundational Techniques
Publication Type :: Book
Accession number :: 119860278
Full Text :: https://doi.org/10.1007/978-3-319-47166-2_27