The top documents tagged [dynamic speca static]

Enhancing Modular OO Verification with Separation Logic
Documents Enhancing Modular OO Verification with Separation Logic

34 views