3-Valued Abstraction: More Precision at Less Cost

@inproceedings{Shoham20063ValuedAM,
  title={3-Valued Abstraction: More Precision at Less Cost},
  author={Sharon Shoham and Orna Grumberg},
  booktitle={LICS},
  year={2006}
}