Differences

This shows you the differences between two versions of the page.

Link to this comparison view

verifiable-operator-interfaces [2014/08/20 18:14] (current)
tlund1 created
Line 1: Line 1:
 +* '''​Personnel'''​
 +** [http://​faculty.cs.byu.edu/​~mike/​ Michael Goodrich]
 +** [https://​facwiki.cs.byu.edu/​vv-lab/​index.php/​Eric_Mercer Eric Mercer]
 +** [https://​facwiki.cs.byu.edu/​HRT/​index.php/​Andrew Andrew Kent]
 +** [https://​facwiki.cs.byu.edu/​HRT/​index.php/​User:​Hess4 Ryan Hess]
 +** Kyle Blatter ​
 +** TJ Gledhill
  
 +
 +* '''​Funding Sources'''​
 +** An [http://​c-uas.byu.edu/​ 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 18:14 by tlund1
Back to top
CC Attribution-Share Alike 4.0 International
chimeric.de = chi`s home Valid CSS Driven by DokuWiki do yourself a favour and use a real browser - get firefox!! Recent changes RSS feed Valid XHTML 1.0