“Verification games: extended type systems; game generation” by Tyler Rigsby. Oct. 2013. Undergraduate research (started March 2012).

BibTeX entry:

@unpublished{TRigsby12,
   author = {Tyler Rigsby},
   title = {{Verification games: extended type systems; game generation}},
   month = oct,
   note = {Undergraduate research (started March 2012)}
}

Back to the student projects sorted by date or by category.


(This webpage was created with bibtex2web.)