Florin Craciun, Chenguang Luo, Guanhua He, Shengchao Qin, Wei-Ngan Chin. Discovering Specifications for Unknown Procedures - Work in Progress. In Andrei Voronkov, Laura Kovács, Nikolaj Bjørner, editors, Second International Workshop on Invariant Generation, WING 2009, York, UK, March 29, 2009 and Third International Workshop on Invariant Generation, WING 2010, Edinburgh, UK, July 21, 2010. Volume 1 of EPiC Series, pages 76-91, EasyChair, 2010. [doi]
@inproceedings{CraciunLHQC10,
title = {Discovering Specifications for Unknown Procedures - Work in Progress},
author = {Florin Craciun and Chenguang Luo and Guanhua He and Shengchao Qin and Wei-Ngan Chin},
year = {2010},
url = {http://www.easychair.org/publications/?page=1210826391},
researchr = {https://researchr.org/publication/CraciunLHQC10},
cites = {0},
citedby = {0},
pages = {76-91},
booktitle = {Second International Workshop on Invariant Generation, WING 2009, York, UK, March 29, 2009 and Third International Workshop on Invariant Generation, WING 2010, Edinburgh, UK, July 21, 2010},
editor = {Andrei Voronkov and Laura Kovács and Nikolaj Bjørner},
volume = {1},
series = {EPiC Series},
publisher = {EasyChair},
}