Peter A. Lindsay · 1 obras en el catálogoObrasFFME 2002 : Formal Methods - Getting IT RightFME 2002 : Formal Methods - Getting IT Right