Tom Maibaum · 4 obras en el catálogoObrasFundamental Approaches to Software EngineeringFFormal methods at the crossroadsFormal methods at the crossroadsOn the Construction of Engineering HandbooksFFM 2008 : Formal MethodsFM 2008 : Formal Methods