Sign in

Weverify: Wider and Enhanced Verification for You Project Overview and Tools.

Zlatina MarinovaJochen SpangenbergDenis TeyssouSymeon PapadopoulosNikos SarrisAlexandre AlaphilippeKalina Bontcheva
Published in: ICME Workshops (2020)
Keyphrases
  • management tools
  • formal methods
  • case study
  • software tools
  • learning algorithm
  • end users
  • decision support
  • project management
  • artificial intelligence
  • website
  • software components
  • educational settings