Eoin Woods (Selection)

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

2 Juan Bicarregui, Jeremy Dick, Brian Matthews, Eoin Woods: Making the Most of Formal Specification Through Animation, Testing and Proof. Sci. Comput. Program. 29(1-2): 53-78 (1997)

1 Juan Bicarregui, Jeremy Dick, Eoin Woods: Quantitative Analysis of an Application of Formal Methods. FME 1996: 60-73

Selection of 2 from 7 records - Eoin Woods has 5 coauthors

2		Juan Bicarregui, Jeremy Dick, Brian Matthews, Eoin Woods: Making the Most of Formal Specification Through Animation, Testing and Proof. Sci. Comput. Program. 29(1-2): 53-78 (1997)
1		Juan Bicarregui, Jeremy Dick, Eoin Woods: Quantitative Analysis of an Application of Formal Methods. FME 1996: 60-73