Login / Signup

Using Propositional Calculas to Accurately Structure Control-Flow from Binary Executables.

Jingbo ZhangWen FuJianmin PangRongcai Zhao
Published in: CSSE (2) (2008)
Keyphrases
  • control flow
  • data flow
  • e learning
  • process model
  • first order logic
  • multi valued