Search Results for 'cavalcantijim'

cavalcantijim published presentations and documents on DocSlides.

Angelic Nondeterminism and Unifying Theories of Programming Ana Cavalcanti and Jim Woodcock University of York Department of Computer Science York UK Ana

by min-jolicoeur

Cavalcantijim csyorkacuk Abstract Hoare and Hes un...