Institute of Information Security and Dependability (KASTEL) – Application-oriented Formal Verification
Institute of Information Security and Dependability (KASTEL) – Application-oriented Formal Verification
Publications

Refinement and Retrenchment for Programming Language Data Types

Journal Article
Author(s):Bernhard Beckert and Steffen Schlager
Journal:Formal Aspects of Computing
Publisher:Springer
Number:4
Volume:17
Year:2005
Pages: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}
}