Cheng, X. ; Fairtlough, M. ; Mendler, Michael:
Proofs as constraints for abstraction and refinement.
.
In: Egly, U. ; Fiedler, A. ; Horacek, H. ; Schmitt, S. (Hrsg.) : Workshop on Proof Transformations, Proof Presentations and Complexities of Proof
(PTP '01, Siena, Universitá degli Studi di Siena, Dipartimento di Ingegneria dell'Informatione, June 2001).
2001, S. 1-11.
Institution: Professur für Grundlagen der Informatik
|