DocumentCode :
7433
Title :
Abstraction - Based Generation of Finite State Models from C Programs.
Author :
S. Purushothaman Iyer استاد راهنما
University :
Raleigh North carolina state university
Grade :
نامعلوم
Major :
PhD )Computer Science(
Number of pages :
0
Publish Date :
2002
Note :
01
Language :
انگليسي
Link To Document :
بازگشت