Fraunhofer-Gesellschaft

Publica

Hier finden Sie wissenschaftliche Publikationen aus den Fraunhofer-Instituten.
1996InterACT. An interactive theorem and completeness prover for algebraic specifications with conditional equations
Klar, M.; Geisler, R.; Cornelius, F.
Conference Paper
1996InterACT. An interactive theorem and completeness prover for algebraic specifications with conditional equations
Klar, M.; Geisler, R.; Cornelius, F.
Conference Paper