Sign in

The Spec# Programming System: Challenges and Directions.

Michael BarnettRobert DeLineManuel FähndrichBart JacobsK. Rustan M. LeinoWolfram SchulteHerman Venter
Published in: VSTTE (2005)
Keyphrases
  • programming language
  • real world
  • lessons learned
  • computer programming
  • data sets
  • neural network
  • information systems
  • decision making
  • video sequences
  • key issues
  • programming environment
  • open issues
  • benchmark suite