Steve M. Shaner

	2009
2		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		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

Coauthor Index

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