@inproceedings{DBLP:conf/cc/Hoare03,
  title = "The Verifying Compiler: A Grand Challenge for Computing Research",
  author = "C. A. R. Hoare",
  year = "2003",
  booktitle = "Compiler Construction, 12th International Conference, CC 2003, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 7-11, 2003, Proceedings",
  editor = "G{\"o}rel Hedin",
  pages = "262-272",
  publisher = "Springer",
  series = "Lecture Notes in Computer Science",
  volume = "2622",
  doi = "10.1007/3-540-36579-6_19",
}