“Checker Framework IntelliJ Integration” by Steven Jia. Dec. 2016. Fall 2016 URA student (started September 2016).

BibTeX entry:

@unpublished{StevenJia16,
   author = {Steven Jia},
   title = {{Checker Framework IntelliJ Integration}},
   month = dec,
   note = {Fall 2016 URA student (started September 2016)}
}

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


(This webpage was created with bibtex2web.)