Books
Year : 2013
Wendelin Serwe : Connect in order to contact the contributor
https://inria.hal.science/hal-01272595
Submitted on : Thursday, February 11, 2016-10:17:05 AM
Last modification on : Wednesday, April 12, 2023-1:42:10 PM
Cite
Gwen Salaün, Corina Pasareanu (Dir.). Formal Aspects of Component Software: Proceedings of the 9th International Symposium on Formal Aspects of Component Software (FACS 2012). 2013, ⟨10.1007/978-3-642-35861-6⟩. ⟨hal-01272595⟩
410
View
0
Download