Qian, J., Xu, B., 2007. Formal Verification for C Program 18.. https://doi.org/10.15388/informatica.2007.178