@inproceedings{artho-vmcai04,
  author = "C. Artho and K. Havelund",
  title = "Applying {J}lint to Space Exploration Software",
  booktitle = "Proc.\ 5th Int.\  Conf.\ on Verification, Model Checking and Abstract Interpretation (VMCAI~2004)",
  year = "2004",
  publisher = {Springer},
  series    = {LNCS},
  volume    = {2937},
  pages     = {297--308},
  address = "Venice, Italy",
}