Eoin Woods (Selection)

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

3 Jeremy Dick, Eoin Woods: Lessons learned from rigorous system software development. Information & Software Technology 39(8): 551-560 (1997)

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 3 from 7 records - Eoin Woods has 5 coauthors

3		Jeremy Dick, Eoin Woods: Lessons learned from rigorous system software development. Information & Software Technology 39(8): 551-560 (1997)
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