There is no author summary for this book yet. Authors can add summaries to their books on ScienceOpen to make them more accessible to a non-specialist audience.

Related collections

Author and book information

Book Chapter

Publication date (Print): 2005

Pages: 21-30

DOI: 10.1007/978-3-540-31987-0_3

SO-VID: 894836dc-7f57-47c4-a0c5-680a8fe38dfd

History

Data availability:

Comments

Comment on this book

Book chapters

Cited by 39

Frama-C: A software analysis perspective
Authors: Boris Yakobowski, Julien Signoles, Virgile Prevosto …
Frama-C
Authors: Pascal Cuoq, Florent Kirchner, Nikolai Kosmatov …
Lessons from building static analysis tools at Google
Authors: Caitlin Sadowski, Edward Aftandilian, Alex Eagle …

See all cited by

The ASTREÉ Analyzer

Read this book at