@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" }