Model Checking via ΓCFA (2007)

by Matthew Might, Benjamin Chambers, Olin Shivers
Venue:Proceedings of the 8th International Conference on Verification, Model Checking and Abstract Interpretation (VMCAI