Showing 1 - 1 results of 1 for search 'Zee, Karen K', query time: 0.02s
Refine Results
-
1
Verification of full functional correctness for imperative linked data structures by Zee, Karen K
Published 2010
Thesis