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 : Thursday, April 4, 2024-6:25:41 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⟩
250
View
0
Download