Text size
  • Small
  • Medium
  • Large
  • Standard
  • Blue text on blue
  • High contrast (Yellow text on black)
  • Blue text on beige

    6th International Workshop on Formal Methods

    Dublin City University, Ireland. 11 July, 2003

    IWFM'03 is the Sixth International Workshop in Formal Methods. It follows in the series of workshops organised by the Irish Formal Methods Special Interest Group (IFMSIG) and previously known as the Irish Workshop in Formal Methods. This year it was held in Dublin City University on 11 July, 2003.

    Full Synopsis - Editors - Sponsors - Papers


    IWFM03 Logo