Chi-Leung Wong, Zehra Sura, et al.
I-SPAN 2002
Paper
An experiment in automatic verification of programs
Related
Conference paper
A privacy-protecting coupon system
Liqun Chen, Matthias Enzmann, et al.
FC 2005
Khalid Abdulla, Andrew Wirth, et al.
ICIAfS 2014
G. Ramalingam
Theoretical Computer Science