@misc {IOPORT.70776880,
    author       = {Xing, Jianying and Li, Mengjun and Li, Zhoujun},
    title        = {Automated program verification using generation of invariants},
    howpublished = {QSIC, 300-305 (2010).},
    year         = {2010},
    doi          = {10.1109/QSIC.2010.38},
    identifier   = {70776880},
}