Login / Signup
Martin Churchill
Publication Activity (10 Years)
Years Active: 2010-2015
Publications (10 Years): 0
Top Topics
Modular Architecture
Formal Semantics
Imperative Programs
Game Playing
Top Venues
FoSSaCS
CoRR
Ann. Pure Appl. Log.
LNCS Trans. Aspect Oriented Softw. Dev.
</>
Publications
</>