Laws and semantics for rely-guarantee refinement /
Hayes, Ian J.,author.
Jones, C. B.(Cliff B.),1944-author.
Colvin, R. J.,author.
University of Newcastle upon Tyne.School of Computing Science.
Caption title.
"July 2014."