Books
Year : 2012
Antoine Miné : Connect in order to contact the contributor
https://inria.hal.science/hal-00748287
Submitted on : Monday, November 5, 2012-11:56:07 AM
Last modification on : Friday, March 24, 2023-2:52:56 PM
Dates and versions
Identifiers
- HAL Id : hal-00748287 , version 1
Cite
Antoine Miné, David Schmidt (Dir.). Proceedings of the 19th International Static Analysis Symposium (SAS 2012). Antoine Miné and David Schmidt. Springer, 7460, pp.457, 2012, LNCS, 978-3-642-33124-4. ⟨hal-00748287⟩
117
View
0
Download