Irish Workshop in Formal Methods (IWFM)
IFMSIG Home Page
6. IWFM 2003: Dublin, Ireland
Joseph M. Morris, Benjamin Aziz, Frédéric Oehl (Eds.):
6th International Workshop on Formal Methods, IWFM 2003, Dublin City University. 11 July, 2003.
Workshops in Computing BCS 2003
Contents BibTeX
5. IWFM 2001: Trinity College, Dublin, Ireland
Andrew Butterfield, Glenn Strong, Claus Pahl (Eds.):
5th Irish Workshop on Formal Methods, IWFM 2001, Dublin, Ireland, 16-17 July 2001.
Workshops in Computing BCS 2001
Contents BibTeX
- IWFM 2001 Home Page
4. IWFM 2000: Maynooth, Ireland
David Sinclair, J. Paul Gibson (Eds.):
4th Irish Workshop on Formal Methods, IWFM 2000, Maynooth, Ireland, 5th-6th July 2000.
Workshops in Computing BCS 2000
Contents BibTeX
3. IWFM 1999: Galway, Ireland
Andrew Butterfield, Klemens Haegele (Eds.):
3rd Irish Workshop on Formal Methods, Galway, Eire, July 1999.
Workshops in Computing BCS 1999
Contents BibTeX
2. IWFM 1998: Cork, Ireland
Sharon Flynn, Andrew Butterfield (Eds.):
2nd Irish Workshop on Formal Methods, Cork, Eire, 2-3 July 1998.
Workshops in Computing BCS 1998
Contents BibTeX
1. IWFM 1997: Dublin, Ireland
Henry McGloughlin, Gerard O'Regan (Eds.):
1st Irish Workshop on Formal Methods, IWFM 1997, Dublin, Eire, 3-4 July 1997.
Workshops in Computing BCS 1997
Contents BibTeX
Copyright © Sat May 16 23:27:15 2009
by Michael Ley (ley@uni-trier.de)
