verifiable-operator-interfaces [CS Wiki]

Trace: • verifiable-operator-interfaces

Personnel
- Michael Goodrich
- Eric Mercer
- Andrew Kent
- Ryan Hess
- Kyle Blatter
- TJ Gledhill

Funding Sources
- An NSF Industry University Alliance. The CS department is part of a larger BYU team.

Project Descriptions and Progress
- Vision
- Readings and Comments

verifiable-operator-interfaces.txt · Last modified: 2014/08/20 12:14 by tlund1

Back to top

CC Attribution-Share Alike 4.0 International