## Kenneth L. McMillan

*Some Strategies for Proving Theorems with a Model Checker*

LICS, 2000.

@inproceedings{LICS-2000-McMillan, author = "Kenneth L. McMillan", booktitle = "{Proceedings of the 15th Annual IEEE Symposium on Logic in Computer Science}", doi = "10.1109/LICS.2000.855778", isbn = "0-7695-0725-5", pages = "305--306", publisher = "{IEEE Computer Society}", title = "{Some Strategies for Proving Theorems with a Model Checker}", year = 2000, }