bn:16467579n
Noun Named Entity
JA
No term available
EN
Kenneth L. McMillan is an American computer scientist working in the area of formal methods, logic, and programming languages. Wikipedia
Relations
Sources