Abstracting interference in postconditions /
Dias, Diego,author.
Freitas, Leo,author.
Jones, C. B.(Cliff B.),1944-author.
University of Newcastle upon Tyne.School of Computing Science.
Caption title.
"March 2014."