Login / Signup
A Tool for Writing and Debugging Algebraic Specifications.
Johannes Henkel
Amer Diwan
Published in:
ICSE (2004)
Keyphrases
</>
database
data mining
artificial intelligence
databases
programming language