Reena Elangovan, Shubham Jain, et al.
ACM TODAES
Paper
An experiment in automatic verification of programs
Related
Conference paper
Performance measurement and data base design
Alfonso P. Cardenas, Larry F. Bowman, et al.
ACM Annual Conference 1975
Lerong Cheng, Jinjun Xiong, et al.
ASP-DAC 2008
Qing Li, Zhigang Deng, et al.
IEEE T-MI