Login / Signup

Evaluating the effectiveness of software verification: pratical experience with an automated tool.

John R. BrownR. H. Hoffman
Published in: AFIPS Fall Joint Computing Conference (1) (1972)
Keyphrases
  • software tools
  • semi automated
  • search algorithm
  • knowledge base
  • case study
  • three dimensional
  • image sequences
  • multiscale
  • recommender systems
  • data driven