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

by Thomas W Reps
Venue:VMCAI, volume 2937 of LNCS