C Software Formal Verification. wipiec 2024, 10 (1), 4. https://doi.org/10.64552/wipiec.v10i1.53.