Steve M. Shaner

Publication Activity (10 Years)

Years Active: 2007-2009
Publications (10 Years): 0

Publications

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)
Steve M. Shaner, Gary T. Leavens, David A. Naumann
Modular verification of higher-order methods with mandatory calls specified by model programs. OOPSLA (2007)