Frama-C - A Software Analysis Perspective - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Pascal Cuoq, Florent Kirchner, Nikolai Kosmatov, Virgile Prevosto, Julien Signoles, Boris Yakobowski. Frama-C - A Software Analysis Perspective. In George Eleftherakis, Mike Hinchey, Mike Holcombe, editors, Software Engineering and Formal Methods - 10th International Conference, SEFM 2012, Thessaloniki, Greece, October 1-5, 2012. Proceedings. Volume 7504 of Lecture Notes in Computer Science, pages 233-247, Springer, 2012. [doi]

This author has not been identified. Look up 'Pascal Cuoq' in GoogleThis author has not been identified. Look up 'Florent Kirchner' in GoogleThis author has not been identified. Look up 'Nikolai Kosmatov' in GoogleThis author has not been identified. Look up 'Virgile Prevosto' in GoogleThis author has not been identified. Look up 'Julien Signoles' in GoogleThis author has not been identified. Look up 'Boris Yakobowski' in Google

runs on WebDSL