![]() | ![]() |
2009 | ||
---|---|---|
2 | EE | Hridesh Rajan, Jia Tao, Steve M. Shaner, Gary T. Leavens: Tisa: A Language Design and Modular Verification Technique for Temporal Policies in Web Services. ESOP 2009: 333-347 |
2007 | ||
1 | EE | Steve M. Shaner, Gary T. Leavens, David A. Naumann: Modular verification of higher-order methods with mandatory calls specified by model programs. OOPSLA 2007: 351-368 |
1 | Gary T. Leavens | [1] [2] |
2 | David A. Naumann | [1] |
3 | Hridesh Rajan | [2] |
4 | Jia Tao | [2] |