Dimitra Giannakopoulou · 4 obras en el catálogoObrasFM 2012: Formal MethodsVerified Software : Theories, Tools and ExperimentsSoftware Engineering and Formal MethodsFundamental Approaches to Software Engineering