Search Results for 'hoare algebra'

hoare algebra published presentations and documents on DocSlides.

Algebra unifies calculi of programming

by stefany-barnette

Tony Hoare. Feb 2012. With Ideas from. Ian Wehrma...