Tool support for informal deduction.

Krysia Broda Susan Eisenbach Lloyd Daniel Kamara

Published in: ACSE (1996)

Keyphrases

tool support
software development
software tools
software projects
software engineering
design decisions
inference rules
informal learning
theorem proving
requirements engineering
test suite
deductive reasoning
theorem prover
automated deduction