Author:Florin Craciun

Publications
Discovering Specifications for Unknown Procedures - Work in Progress Florian Craciun, Chenguang Luo, Guanhua He, Shengchao Qin and Wei-Ngan Chin In:WING 2010. Workshop on Invariant Generation 2010