Login / Signup

SIGSOFT tutorial on program verification (Tutorial Session).

Donald I. GoodLloyd D. Fosdick
Published in: ACM Annual Conference (1976)
Keyphrases
  • machine learning
  • multimedia
  • expert systems
  • computational intelligence
  • web based training
  • application of machine learning methods