zedB: A Proof Tool for Z Built on B.

Dave Neilson Divya Prasad

Published in: Z User Workshop (1991)

Keyphrases

software tools
data mining
information systems
database systems
real world
website
relational databases
user interface
theorem prover