C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Kevin Krause
Publication Activity (10 Years)
Years Active: 2013-2013
Publications (10 Years): 0
Top Topics
Np Complete
Artificial Neural Networks
Natural Language Learning
Top Venues
NASA Formal Methods
</>
Publications
</>
Kevin Krause
,
Jim Alves-Foss
On Designing an ACL2-Based C Integer Type Safety Checking Tool.
NASA Formal Methods
(2013)