Forschungsprojekt
AWE - Abstraktion und Wiederverwendung Formaler Entwicklungen
Das Projekt AWE untersucht das Potential der systematischen Verallgemeierung von formalen Entwicklung zur besseren Wiederverwendung.
Kontakt
Ansprechpartner:
Prof. Dr. Christoph LĂĽth
Projektleitung:
Prof. Dr. Christoph LĂĽth
Homepage:
http://www.informatik.uni-bremen.de/~cxl/awe/
Beteiligte Forschungsbereiche
Publikationen
- 2010
- David Aspinall; Ewen Denney; Christoph Lüth
Tactics for Hierarchical Proofs.
In: Journal Mathematics in Computer Science, Vol. 3, Pages 309-330, Birkhäuser, 3/2010.