Henry McGloughlin

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

1997

1 Henry McGloughlin, Gerard O'Regan: 1st Irish Workshop on Formal Methods, IWFM 1997, Dublin, Eire, 3-4 July 1997 BCS 1997

	1997
1		Henry McGloughlin, Gerard O'Regan: 1st Irish Workshop on Formal Methods, IWFM 1997, Dublin, Eire, 3-4 July 1997 BCS 1997

Coauthor Index