C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
On Designing an ACL2-Based C Integer Type Safety Checking Tool.
Kevin Krause
Jim Alves-Foss
Published in:
NASA Formal Methods (2013)
Keyphrases
</>
type checking
information retrieval
case study
artificial neural networks
np complete
natural language learning