Slide 1 Unifying Theories Execution History Tony Hoare In honour of Manfred Broy 30 October 2009 Slide 2 Slide 3 Manfred Broy and Tony Hoare at Marktoberdorf. Slide 4 Unifying……
