Kenneth H. Leider is an author at Duke University specializing in automated reasoning, formal verification, and computer science.
Top concepts
SyntaxGrammarParsingLanguageEngineeringLinguisticsVerificationFormal MethodsComputer ScienceProgram Analysis
Publications per year
1997–1997
2
2
A collection of tools for making automata theory and formal languages come alive
Susan H. Rodger, Anna Bilska‐Kos, Kenneth H. Leider et al. · 1997 · 54 citations
Rows per page
1–2 of 2