7,252 followers
He co-wrote this paper with T. S. E. Maibaum back in 1985: A theory of abstract data types for program development: Bridging the gap https://t.co/aU8lXAjVIJ
He co-wrote this paper with T. S. E. Maibaum back in 1985: A theory of abstract data types for program development: Bridging the gap https://t.co/aU8lXAjVIJ