Gwen Salaün · 4 obras en el catálogoObrasFormal Methods for Industrial Critical SystemsSoftware Engineering and Formal MethodsFormal Aspects of Component SoftwareSoftware Technologies : Applications and Foundations