EEMCS

Home > Publications
Home University of Twente
Education
Research
Prospective Students
Jobs
Publications
Intranet (internal)
 
 Nederlands
 Contact
 Search
 Organisation

EEMCS EPrints Service


Editor: Ribeiro, L.
Home Policy Brochure Browse Search User Area Contact Help

Number of items: 2.

2006

Habel, A. and Pennemann, K.-H. and Rensink, A. (2006) Weakest Preconditions for High-Level Programs. In: Graph Transformations (ICGT), 19-21 Sep 2006, Natal, Brazil. pp. 445-460. Lecture Notes in Computer Science 4178. Springer Verlag. ISBN 3-540-38870-2
Rensink, A. (2006) Nested Quantification in Graph Transformation Rules. (Invited) In: Graph Transformations (ICGT), 19-21 Sep 2006, Natal, Brazil. pp. 1-13. Lecture Notes in Computer Science 4178. Springer Verlag. ISBN 3-540-38870-2

This list was generated on Mon May 22 04:27:28 CEST 2017.