Showing 1 - 1 results of 1 for search 'David R. Cok', query time: 0.02s
Refine Results
-
1
SPEEDY: An Eclipse-based IDE for invariant inference by David R. Cok, Scott C. Johnson
Published 2014-04-01
Article