Researching Formal Methods for Software Verification.
Interests:
- Type Theory
- Model Checking
Researching Formal Methods for Software Verification.
Interests:
No ancillary activities
Ancillary activities are updated daily
Profile
Publications
Personal website
Copyright © VU