Home
Explore
Journal Club
Trending
More
Synapse
⌘+K
Sign In
Sign Up for Free
Synapse
Sign In
Sign Up for Free
Language
English
English
YK
Yan Kim
Formal Methods in Verification
University of Luxembourg
Share
Follow
Claim This Profile
About
Research focus
Formal Methods in Verification
Impact
30 pubs · 413 cites · h-index 8
Affiliations
University of Luxembourg
Institute of Biomedical Chemistry
Kaiser Permanente
See all
Publications