PADS
Project PADS
A gernric tool for proof support in formal software development
Work area
: Deduction Systems
Start date:
1 Jan 96
Duration:
32 months
Funding:
BMBF
Contact:
Dr. Werner Stephan
(stephan@dfki.de)
In this project, ...
More info:
