Imperial College Department of Computing Workshops

Venue statistics

records by year

document access 

    frequent authors

      Venue Information

      • has part: Imperial College Department of Computing Workshop on Theory and Formal Methods

      Theory and Formal Methods 1994: Cambridge, UK

      Theory and Formal Methods 1993: Chelwood Gate, Sussex, UK

      a service of  Schloss Dagstuhl - Leibniz Center for Informatics