Frama-C - A Software Analysis Perspective.

Pascal Cuoq Florent Kirchner Nikolai Kosmatov Virgile Prevosto Julien Signoles Boris Yakobowski

Published in: SEFM (2012)

Keyphrases

data sets
viewpoint
analysis tool
databases
multimedia
software systems
database systems
data analysis
mobile robot