“JSpecify nullness specification and checker” by Tony Sun. Apr. 2023. Winter 2023 URA student (started January 2023).

BibTeX entry:

@unpublished{TonySun23,
   author = {Tony Sun},
   title = {{JSpecify nullness specification and checker}},
   month = apr,
   note = {Winter 2023 URA student (started January 2023)}
}

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


(This webpage was created with bibtex2web.)