Home
Explore
Journal Club
Trending
More
Synapse
⌘+K
Sign In
Sign Up for Free
Synapse
Sign In
Sign Up for Free
Language
English
English
RK
Rahul Karmakar
Formal Methods in Verification
University of Burdwan
Share
Follow
Claim This Profile
About
Research focus
Formal Methods in Verification
Impact
53 pubs · 172 cites · h-index 8
Affiliations
University of Burdwan
Publications