Kenneth Ken Arthur Robinson (July 30, 1938 to September 5, 2020) was an Australian computer scientist who has been called the father of formal methods in Australia.
Reader Challenges (0)
No disputes yet. Spotted an error or a better source? Open the first one.
Sign in to dispute this or suggest a correction.