Martin Churchill
发表
Guy McCusker,
James Laird,
Martin Churchill,
2011,
LICS.
Guy McCusker,
James Laird,
Martin Churchill,
2011,
2011 IEEE 26th Annual Symposium on Logic in Computer Science.
Peter D. Mosses,
Martin Churchill,
P. Mosses,
2013,
FoSSaCS.
Mohammad Reza Mousavi,
Peter D. Mosses,
Martin Churchill,
2013,
CONCUR.
James Laird,
Martin Churchill,
2010,
CSL.
Peter D. Mosses,
Neil Sculthorpe,
Paolo Torrini,
2015,
LNCS Trans. Aspect Oriented Softw. Dev..
Guy McCusker,
James Laird,
Martin Churchill,
2010,
ArXiv.
Peter D. Mosses,
Paolo Torrini,
Martin Churchill,
2014,
LNCS Trans. Aspect Oriented Softw. Dev..