V
Vincent Risch
Claim or correct this author profile
Claim this profile or suggest corrections to the name, affiliation, bio, photo, or paper titles. Approved changes appear as verified CitedEvidence overlays.
2
Papers
0
Citations
0
h-index
0
i10-index
Vincent Risch is an academic researcher. The author has contributed to research in topics: Logic, programming, and type systems & Formal Methods in Verification.
Chat about Author
Papers
Chat
Click to start Chat