Model checking C programs using F-SOFT (2005)

by F Ivancic, I Shlyakhter, A Gupta, M K Ganai
Venue:In International Conference on Computer Design (ICCD