Discovering Specifications for Unknown Procedures - Work in Progress.

Florin Craciun, Chenguang Luo, Guanhua He, Shengchao Qin, Wei-Ngan Chin

Browse the full CADE paper archive.