Books
Year : 2014
Wendelin Serwe : Connect in order to contact the contributor
https://inria.hal.science/hal-01272610
Submitted on : Thursday, February 11, 2016-10:29:21 AM
Last modification on : Wednesday, April 12, 2023-1:42:10 PM
Cite
Gwen Salaün, Dimitra Giannakopoulou (Dir.). Software Engineering and Formal Methods: Proceedings of the 12th International Conference on Software Engineering and Formal Methods (SEFM 2014). 2014, ⟨10.1007/978-3-319-10431-7⟩. ⟨hal-01272610⟩
243
View
0
Download