Menu
Home
Help and information
About this website
Privacy Policy
Robert J. Colvin
1 published title
Laws and semantics for rely-guarantee refinement
(Contributor)
1 edition
Newcastle University, Computing Science
Details