Skip to main content

Discussion of an international initiative in Verified Software

Tony Hoare ( Microsoft Research, Cambridge )

Share this: