@InProceedings{Goerigk+98,
  Author        = {Goerigk, Wolfgang and Gaul, Thilo and Zimmermann, Wolf},
  Title         = {{Correct Programs without Proof? On Checker-Based Program
                   Verification}},
  Year          = {1998},
  Address       = {Malente},
  Booktitle     = {Proceedings ATOOLS'98 Workshop on ``Tool Support for 
                   System Specification, Development, and Verification''},
  Series        = {Advances in Computing Science},
  Publisher     = {Springer Verlag}
}