Refinement and Retrenchment for Programming Language Data Types

Zeitschriftenartikel

Autor(en):Bernhard Beckert und Steffen Schlager
Zeitschrift:Formal Aspects of Computing
Verleger:Springer
Band:17
Jahr:2005
Nummer:4
Seiten:423-442

BibTeX

@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}
}