The Tokeneer Experiments

Reflections on the Work of C.A.R. Hoare ◽

10.1007/978-1-84882-912-1_17 ◽

2010 ◽

pp. 405-430 ◽

Author(s):

Jim Woodcock ◽

Emine Gökçe Aydal ◽

Rod Chapman

Download Full-text