Login / Signup

Component Reuse in B Using ACL2.

Yann ZimmermannDiana Toma
Published in: ZB (2005)
Keyphrases
  • software components
  • software reuse
  • wide range
  • databases
  • real time
  • genetic algorithm
  • three dimensional