Journal Articles
Formal Aspects of Computing
Year : 2015
Florent Kirchner : Connect in order to contact the contributor
https://cea.hal.science/cea-01808981
Submitted on : Wednesday, June 6, 2018-11:48:16 AM
Last modification on : Thursday, February 17, 2022-10:08:03 AM
Cite
Florent Kirchner, Nikolai Kosmatov, Virgile Prévosto, Julien Signoles, Boris Yakobowski. Frama-C: A software analysis perspective. Formal Aspects of Computing, 2015, 27 (3), pp.573 - 609. ⟨10.1007/s00165-014-0326-7⟩. ⟨cea-01808981⟩
Collections
153
View
0
Download