A high-level model-checking tool for verifying electronic contracts /
Abdelsadiq, Abubkr.
Molina-Jimenez, C.(Carlos)
Shrivastava, S. K.(Santosh Kumar),1946-
University of Newcastle upon Tyne.School of Computing Science.
Newcastle-upon-Tyne : Computing Science, Newcastle University,
2011.
"September, 2011."
Caption title.