Department Seminar Series
Debugging Concurrent (Logic) Programs with Abstract Interpretation
12th October 2004, 16:00
Andy King
Computing Laboratory University of Kent, Canterbury, UK
Maintained by Othon Michail