Login / Signup

Logical Foundations of Program Assertions: What do Practitioners Want?.

Patrice Chalin
Published in: SEFM (2005)
Keyphrases
  • logical foundations
  • active databases
  • data mining
  • cutting edge
  • databases
  • real world
  • information systems
  • distributed systems