Login / Signup

Unwinding Forward Correctability.

Jonathan K. Millen
Published in: J. Comput. Secur. (1995)
Keyphrases
  • forward and backward
  • bi directional
  • multi objective