@Inproceedings{ GHGZ99,
  author        = "T. Gaul and A. Heberle 
                  and W. Zimmermann and W. Goerigk",
  title         = {{Construction of Verified Software Systems with Program-Checking:
                   An Application To Compiler Back-Ends}}, 
  year          = "1999",
  booktitle     = "Proceedings of {RTRV} '99: Workshop on Runtime
                  Result Verification",
  editor        = {Amir Pnueli and Paolo Traverso},
  Address       = {Trento, Italy},
  file          = {RTRV99}
}