Verification of an Error Correcting Code by Abstract Interpretation

@inproceedings{Hymans2005VerificationOA,
  title={Verification of an Error Correcting Code by Abstract Interpretation},
  author={Charles Hymans},
  booktitle={VMCAI},
  year={2005}
}