Skip to main content

Discussion of an international initiative in Verified Software

Tony Hoare ( Microsoft Research, Cambridge )

 

 

Share this: