ucsd-progsys/live

Slides for talk on Language-Integrated Verification

JavaScript

Readme
0Issues
0Stargazers
4Watchers

live

Slides for talk on Language-Integrated Verification

Topics

haskell smt types

Share to

Contact site admin: Geeks.