Shmuel Sagiv, and Greta Yorsh. Symbolic implementation of the best transformer (2004)

by Thomas W Reps
Venue:In Verification, Model Checking, and Abstract Interpretation: 5 th International Conference, (VMCAI