Ilya Shlyakhter
0000-0002-9854-5118
Publications
47 total
No publications found.
Research Topics
Formal Methods in Verification
Genetic Associations and Epidemiology
Logic, programming, and type systems
Software Testing and Debugging Techniques
Genomics and Phylogenetic Studies
Affiliations
Merck Biopharma Co., Ltd. (Japan)
External Profiles
Continue on JournalsHub
Put what you just read into practice with these free tools.