F-Soft: Software Verification Platform [chapter]

F. Ivančić, Z. Yang, M. K. Ganai, A. Gupta, I. Shlyakhter, P. Ashar
2005 Lecture Notes in Computer Science  
doi:10.1007/11513988_31 fatcat:iccykpbmeveg7mdikkvsnqdjwy