Model checking via ΓCFA (2007)

by Matthew Might , Benjamin Chambers , Olin Shivers
Venue:in Proceedings of the 8th International Conference on Verification, Model Checking and Abstract Interpretation (VMCAI 2007
Citations:5 - 4 self