Formal methodsJim Woodcock(University of York), John Fitzgerald(Newcastle University)ACM Computing SurveysOctober 1, 200910.1145/1592434.1592436Cited by 662SaveCiteExport RISWatch citationsRelated PapersNo related papers foundPowered by citation graph analysis