Lerong Cheng, Jinjun Xiong, et al.
ASP-DAC 2008
Paper
An experiment in automatic verification of programs
Related
Beomseok Nam, Henrique Andrade, et al.
ACM/IEEE SC 2006
Conference paper
A privacy-protecting coupon system
Liqun Chen, Matthias Enzmann, et al.
FC 2005
Qing Li, Zhigang Deng, et al.
IEEE T-MI