Login / Signup
Kellen Donohue
Publication Activity (10 Years)
Years Active: 2014-2014
Publications (10 Years): 0
Top Topics
Real World
Operational Semantics
Delay Insensitive
Software Tools
Top Venues
ICSE
</>
Publications
</>
Todd W. Schiller
,
Kellen Donohue
,
Forrest Coward
,
Michael D. Ernst
Case studies and tools for contract specifications.
ICSE
(2014)