18:07Lectures on Software: Distances, Invariants and Recursion, part 1/4Eiffel Software895 viewsView & Download
1:06:44Inferring Class Invariants in object-oriented languages via abstract interpretationMicrosoft Research281 viewsView & Download
