Reasoning about separation using abstraction and reification (including proofs) /
Jones, C. B.(Cliff B.),1944-author.
Yatapanage, Nisansala,author.
University of Newcastle upon Tyne.School of Computing Science.
Title from cover.
"January 2015".