Expression decomposition in a rely/guarantee context /
Coleman, J. W.(Joey W.)
University of Newcastle upon Tyne.School of Computing Science.
Newcastle upon Tyne : University of Newcastle upon Tyne, Computing Science,
2008.
"This report is a preprint of a paper which is to appear in a LNCS volume of the proceedings of the Verfied Software: Theories, Tools, and Experiments (VSTTE 2008) working conference"--Int.
Title from cover.
"July 2008."
Includes bibliographical references.
Programming languages (Electronic computers)
Computer software