An EconoTimes perspective

Eerke Boiten

Director of University of Kent's Academic Centre of Excellence in Cyber Security Research www.cybersec.kent.ac.uk. Research in formal methods (new book: Refinement in Z and Object Z 2nd edition, Springer 2014).