Sign in

Techniques for Efficient Software Checking.

Jing YuMaría Jesús GarzaránMarc Snir
Published in: LCPC (2007)
Keyphrases
  • software development
  • software systems
  • cost effective
  • software architecture
  • software design
  • real time
  • learning algorithm
  • decision making
  • expert systems
  • source code
  • highly efficient
  • software packages