Australian Category Seminar

Here is a list of all talks by Mike Fourman at the Australian Category Seminar.
1998
  • 25 March
    Formal methods for system integration (abs)