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

Uniform Variable Splitting

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