Iterating Transducers for Safety of DataAbstractions (2001)

by D Dams, Y Lakhnech, M Steffen
Venue:In Proceedings of CAV