Eoin Woods (Selection)

Ask others: ACM DL/Guide - - CSB - MetaPress - Google - Bing - Yahoo

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)

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