dblp.uni-trier.dewww.uni-trier.de

Steve M. Shaner

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2009
2EEHridesh 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
1EESteve 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

Coauthor Index

1Gary T. Leavens [1] [2]
2David A. Naumann [1]
3Hridesh Rajan [2]
4Jia Tao [2]

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)