1. Home
  2. Issues
  3. Volume 18, Issue 2 (2007)
  4. Formal Verification for C Program

Informatica


Cited by 1
Formal Verification for C Program

Abstract model checking for Web services
Junyan Qian, Guoyong Cai, Tianlong Gu, Lingzhong Zhao
https://doi.org/10.1007/s11859-008-0417-5
Journal:  Wuhan University Journal of Natural Sciences Volume 13, Issue 4 (2008), p. 466


Share


RSS