Gerardo Schneider · 2 obras en el catálogoObrasFFormal Methods for Software EngineeringFormal Methods for Software EngineeringSSoftware Engineering and Formal MethodsSoftware Engineering and Formal Methods