@article{BeckertSchlager05,
title = {Refinement and Retrenchment for Programming Language Data Types},
author = {Bernhard Beckert and Steffen Schlager},
journal = {Formal Aspects of Computing},
volume = {17},
number = {4},
pages = {423--442},
publisher = {Springer},
year = {2005}
}
Refinement and Retrenchment for Programming Language Data Types
| Autor(en): | Bernhard Beckert und Steffen Schlager |
|---|---|
| Zeitschrift: | Formal Aspects of Computing |
| Verleger: | Springer |
| Nummer: | 4 |
| Band: | 17 |
| Jahr: | 2005 |
| Seiten: | 423-442 |