Model checking correctness properties of electronic contracts /
Solaiman, Ellis.
Molina-Jimenez, Carlos.
Shrivastava, S. K.(Santosh Kumar),1946-
University of Newcastle upon Tyne.School of Computing Science.
Newcastle upon Tyne : University of Newcastle upon Tyne, Computing Science,
2003.
Caption title.