Kevin Krause

Publication Activity (10 Years)

Years Active: 2013-2013
Publications (10 Years): 0

Top Topics

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)