Peter A. Lindsay

• FME 2002 : Formal Methods - Getting IT Right