“Checker Framework IDE Integration” by Haaris Ahmed. Dec. 2017. Fall 2017 URA student (started September 2017).

BibTeX entry:

@unpublished{HaarisAhmed17,
   author = {Haaris Ahmed},
   title = {{Checker Framework IDE Integration}},
   month = dec,
   note = {Fall 2017 URA student (started September 2017)}
}

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


(This webpage was created with bibtex2web.)