On the integration of software testing and formal analysis
Informazioni aggiuntive
Autori
Braione P.,
Denaro G.,
Pezzè M.
Tipo
Contributo in libro
Anno
2012
Lingua
Inglese
Libro
Lecture Notes on Computer Science
Editore
Springer
Pagina inizio
158
Pagina fine
193
ISBN
978-3-642-25230-3