Alberto Pardo · 2 obras en el catálogoObrasLATIN 2014 : Theoretical InformaticsSSoftware Engineering and Formal MethodsSoftware Engineering and Formal Methods