Nederlands
Contact
Sitemap
Search
OrganisationEEMCS EPrints Service
 |
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
2006
Habel, A. and Pennemann, K.-H. and Rensink, A.
(2006)
Weakest Preconditions for High-Level Programs.
Berichte aus dem Department für Informatik 8/06,
University of Oldenburg, Oldenburg.
ISSN 0946-2910
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
|
|
|
||||||||||||
|
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
|
||||||||||||||