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
Pagine (o numero dell’articolo)
158-193
ISBN
978-3-642-25230-3
