@inproceedings{chen-rosu-2018-isola,
    author = "Chen, Xiaohong and Ro\c{s}u, Grigore",
    publisher = "Springer",
    doi = "https://doi.org/10.1007/978-3-030-03421-4_7",
    title = "A Language-Independent Program Verification Framework",
    booktitle = "International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2018)",
    month = "November",
    year = "2018",
    pages = "92-102"
}