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

    3rd Irish Workshop on Formal Methods

    Galway, Ireland. 1st - 2nd July 1999

    IWFM'99 is the Third 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 Galway, Ireland on 1st - 2nd July, 1999.

    Full Synopsis - Editors - Papers