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