2nd International Workshop on Certified Termination (WScT08) 2008 Teilnehmer aus verschiedenen europäischen Ländern 17.- 19. Mai 2008, HTWK Leipzig, Fachbereich IMN Prof. Dr. rer. nat. Johannes Waldmann Sat, 17. May 2008 / 2.00 - Mon, 19. May 2008 / 2.00 Eventtypes Aktionstag
