Login / Signup

VerifyThis 2015 - A program verification competition.

Marieke HuismanVladimir KlebanovRosemary MonahanMichael Tautschnig
Published in: Int. J. Softw. Tools Technol. Transf. (2017)
Keyphrases
  • information systems
  • real time
  • databases
  • data mining
  • learning algorithm
  • expert systems
  • association rules
  • artificial neural networks