Proof Tool Support for Explicit Strictness.

Marko C. J. D. van Eekelen Maarten de Mol

Published in: IFL (2005)

Keyphrases

tool support
software development
software engineering
design decisions
software tools
software projects
requirements engineering
theorem prover
artificial intelligence
knowledge management
theorem proving
test suite