Login / Signup

Integration of SMT-solvers in B and Event-B development environments.

David Déharbe
Published in: Sci. Comput. Program. (2013)
Keyphrases
  • development environments
  • development environment
  • model driven
  • lightweight
  • modulo theories
  • software components
  • data integration
  • answer set programming
  • mobile devices
  • data driven