Clare E. Martin

发表

Clare E. Martin, Sharon A. Curtis, 2008, UTP.

Clare E. Martin, Sharon A. Curtis, Ingrid Rewitzky, 2004, International Conference on Mathematics of Program Construction.

Clare E. Martin, Rachel Harrison, Derek Flood, 2011, USAB.

Clare E. Martin, Oege de Moor, Paul H. B. Gardiner, 1994, Sci. Comput. Program..

Clare E. Martin, Rachel Harrison, Marion Waite, 2015, VCBM.

Clare E. Martin, Bedour Alshaigy, Arantza Aldea, 2015, WiPSCE.

Clare E. Martin, Rachel Harrison, Ian Bayley, 2017, Artif. Intell. Medicine.

Clare E. Martin, Oege de Moor, Paul H. B. Gardiner, 1992, MPC.

Clare E. Martin, Rachel Harrison, Derek Flood, 2011, INTERACT.

Clare E. Martin, Rachel Harrison, Ian Bayley, 2013, 2013 IEEE 15th International Conference on e-Health Networking, Applications and Services (Healthcom 2013).

Clare E. Martin, Jeremy Gibbons, Ian Bayley, 2004, Formal Aspects of Computing.

Clare E. Martin, Sharon A. Curtis, 2006, MPC.

Clare E. Martin, Sharon A. Curtis, Ingrid Rewitzky, 2007, Sci. Comput. Program..