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