“Fake enumerations and regular expression type checker case studies and extensions; verification games: annotation and cast handling” by Eric Spishak. Apr. 2013. Undergraduate and Master's research (started April 2011).

BibTeX entry:

@unpublished{ESpishak11,
   author = {Eric Spishak},
   title = {{Fake enumerations and regular expression type checker case
        studies and extensions; verification games: annotation and cast
        handling}},
   month = apr,
   note = {Undergraduate and Master's research (started April 2011)}
}

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


(This webpage was created with bibtex2web.)