Joint work with Mike Barnett, Robert DeLine, Manuel Fahndrich, and Wolfram Schulte Verifying invariants in object-oriented programs K. Rustan M. Leino.
Robert P. Dick, Ganesh Lakshminarayana, Anand Raghunathan, and Niraj K. Jha Design Automation Conference, 2000 Reporter: Keng-Mao Cho Advisor: Prof. Chu-Sing.