Christie Marr
发表
Gavin Lowe,
Christie Marr,
C. Marr,
2004,
EXPRESS.
Jim Davies,
Christie Marr,
C. Marr,
2002,
IFM.
Gavin Lowe,
Christie Marr,
C. Marr,
2004,
International Conference on Dependable Systems and Networks, 2004.
Jim Davies,
Christie Marr,
C. Marr,
2002,
Refine.
Christie Marr,
C. Marr,
2005,
Electron. Notes Theor. Comput. Sci..
Jim Davies,
Christie Marr,
C. Marr,
2000,
FMOODS.
Christie Marr,
2005,
FM.
Christie Marr,
C. Marr,
2002
.
Gavin Lowe,
Christie Marr,
C. Marr,
2005,
Theor. Comput. Sci..
Christie Marr,
2007,
IFM.
Jim Davies,
Christie Marr,
C. Marr,
2000,
IFM.
Jim Davies,
Christie Marr,
C. Marr,
2006,
Formal Aspects of Computing.
Jim Woodcock,
Jim Davies,
Christie Marr,
1999,
IFM.
Gavin Lowe,
Christie Marr,
C. Marr,
2003,
IWFM.