infa_120
Informatica
127552618-informatica
Interbase 6.0 and Firebird Pre 1.0 Language Reference
Formal Verification of SpecC Programs using Predicate Abstraction Himanshu Jain Daniel Kroening Edmund Clarke Carnegie Mellon University.