https://hal.inria.fr/hal-01272595
Contributor : Wendelin Serwe
<>
Submitted on : Thursday, February 11, 2016 - 10:17:05 AM
Last modification on : Wednesday, April 11, 2018 - 1:54:29 AM
Gwen Salaün, Corina Pasareanu. Formal Aspects of Component Software: Proceedings of the 9th International Symposium on Formal Aspects of Component Software (FACS 2012). France. 2013, 〈10.1007/978-3-642-35861-6〉. 〈hal-01272595〉