Login / Signup

The Equivalence Problem and Correctness Formulas for a Simple Class of Programs

Oscar H. IbarraLouis E. Rosier
Published in: Inf. Control. (1985)
Keyphrases
  • provably correct
  • real time
  • data sets
  • e learning
  • bayesian networks