Das Projekt AWE untersucht das Potential der systematischen Verallgemeierung von formalen Entwicklung zur besseren Wiederverwendung.
Partner
- Universität Bremen
Projekt | AWE
Laufzeit:
Abstraktion und Wiederverwendung Formaler Entwicklungen
Forschungsthemen
- Sonstige
Anwendungsfelder
- Sonstige
Prof. Dr. Christoph Lüth
Keyfacts
Publikationen
Fördergeber
DFG - Deutsche Forschungsgemeinschaft
LU 707/2-1, LU 707/2-2
