“Dataflow support for the Checker Framework” by Andreas Abel, Kivanc Muslu, and Brandon Myers. Dec. 2010. CSE 501 course project.

BibTeX entry:

   author = {Andreas Abel and Kivanc Muslu and Brandon Myers},
   title = {{Dataflow support for the Checker Framework}},
   month = dec,
   note = {CSE 501 course project}

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

(This webpage was created with bibtex2web.)