Proof patterns for formal methods /
Freitas, Leo,author.
Whiteside, Iain,author.
University of Newcastle upon Tyne.School of Computing Science.
Caption title.
"November 2014."
Includes bibliography.