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:4 - 3 self