Proofs as constraints for abstraction and refinement
Cheng, Xiaochun; Fairtlough, Matt; Mendler, Michael (2001): Proofs as constraints for abstraction and refinement, in: Uwe Egly, Armin Fiedler, Helmut Horacek, u. a. (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 19, 2001, in connection with IJCAR 2001), Siena, S. 1–11.
Faculty/Chair:
Author:
 ;  ; 
Title of the compilation:
Workshop on Proof Transformations, Proof Presentations and Complexities of Proof (PTP-01 Siena, Universitá degli Studi di Siena, Dipartimento di Ingegneria dell'Informatione June 19, 2001, in connection with IJCAR 2001)
Editors:
Conference:
Workshop on Proof Transformations, Proof Presentations and Complexities of Proof (PTP-01 Siena, Universitá degli Studi di Siena, Dipartimento di Ingegneria dell'Informatione June 19, 2001, in connection with IJCAR 2001)
Publisher Information:
Year of publication:
2001
Pages:
Language:
English
Type:
Conferenceobject
URI:
Activation date:
September 24, 2014

Question on publication

Contact the FIS team
Permalink https://fis.uni-bamberg.de/handle/uniba/10127