International Workshop on Formal Methods (IWFM)

Irish Workshop in Formal Methods

Venue statistics

records by year

document access 

    frequent authors

      6. IWFM 2003: Dublin, Ireland

      5. IWFM 2001: Trinity College, Dublin, Ireland

      -

      IWFM 2001 Home Page

      4. IWFM 2000: Maynooth, Ireland

      3. IWFM 1999: Galway, Ireland

      2. IWFM 1998: Cork, Ireland

      1. IWFM 1997: Dublin, Ireland

      a service of  Schloss Dagstuhl - Leibniz Center for Informatics