Search for contacts, projects,
courses and publications

On the integration of software testing and formal analysis

Additional information

Authors
Braione P., Denaro G., Pezzè M.
Type
Book chapter
Year
2012
Language
English
Book
Lecture Notes on Computer Science
Publisher
Springer
Start page number
158
End page number
193
ISBN
978-3-642-25230-3