Uniform Variable Splitting

Foredrag
9. June 2005
4th KeY Symposium 2005, Lökeberg, Sverige

http://www.key-project.org/keysymposium05/slides.html