@misc {IOPORT.70236954,
    author       = {Hadjidj, Rachid and Yang, Xiaochun and Tlili, Syrine and Debbabi, Mourad},
    title        = {Model-checking for software vulnerabilities detection with multi-language support},
    howpublished = {PST, 133-142 (2008).},
    year         = {2008},
    doi          = {10.1109/PST.2008.21},
    identifier   = {70236954},
}