@InProceedings{Goerigk98a,
  Author        = {W. Goerigk and T. Gaul and W. Zimmermann},
  Title         = {{Correct Programs without Proof? On Checker-Based Program
                   Verification}},
  Year          = {1998},
  Address       = {Malente},
  Howpublished  = {Accepted for ATOOLS'98 Workshop on ``Tool Support for 
                   System Specification, Development, and Verification'', Malente}
}