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