Context-Aware Code Certification

@inproceedings{Eusterbrock:ASE04,
  author    = {Jutta Eusterbrock},
  title     = {{Context-Aware} Code Certification},
  booktitle = {ASE},
  pages     = {358--361},
  publisher = {{IEEE} Computer Society},
  year      = {2004},
}