José Fiadeiro · 2 obras en el catálogoObrasFormal Methods : Foundations and ApplicationsFFundamental Approaches to Software EngineeringFundamental Approaches to Software Engineering