论文信息 - Verifying Invariants in Object-Oriented Programs - 字舞流文

Verifying Invariants in Object-Oriented Programs

K. Rustan M. Leino | Robert DeLine | Wolfram Schulte | Mike Barnett | Manuel Fähndrich | Mike Barnett | K. Leino | Wolfram Schulte | R. DeLine | Manuel Fähndrich