Irish Workshop in Formal Methods (IWFM)
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. BCS 2003 Workshops in Computing [ contents ]
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. BCS 2001 Workshops in Computing [ contents ]
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. BCS 2000 Workshops in Computing [ contents ]
3. IWFM 1999: Galway, Ireland
- Andrew Butterfield, Klemens Haegele (Eds.): 3rd Irish Workshop on Formal Methods, Galway, Eire, July 1999. BCS 1999 Workshops in Computing [ contents ]
2. IWFM 1998: Cork, Ireland
- Sharon Flynn, Andrew Butterfield (Eds.): 2nd Irish Workshop on Formal Methods, Cork, Eire, 2-3 July 1998. BCS 1998 Workshops in Computing [ contents ]
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. BCS 1997 Workshops in Computing [ contents ]
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-10-16T203152 by the dblp team