Login / Signup
Colin Pilbrow
ORCID
Publication Activity (10 Years)
Years Active: 2013-2017
Publications (10 Years): 2
Top Topics
Formal Specification
Causal Relationships
Reactive Systems
Semantic Description
Top Venues
APSEC
FTSCS
Sci. Comput. Program.
ASWEC (2)
</>
Publications
</>