“Checker Framework Eclipse Integration” by Hejia Wang. Apr. 2020. Winter 2020 URA student (started January 2020).

BibTeX entry:

@unpublished{HejiaWang20,
   author = {Hejia Wang},
   title = {{Checker Framework Eclipse Integration}},
   month = apr,
   note = {Winter 2020 URA student (started January 2020)}
}

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


(This webpage was created with bibtex2web.)