S. Owre
发表
N. Shankar,
S. Owre,
J. Rushby,
1995
.
N. Shankar,
S. Owre,
J. Rushby,
1996
.
S. Owre,
2006
.
Jonathan M. Ford,
S. Owre,
J. Rushby,
2002
.
N. Shankar,
L. D. Moura,
S. Owre,
2005
.
D. E. Long,
N. Shankar,
M. Gordon,
2022
.
Natarajan Shankar,
John M. Rushby,
Sam Owre,
1992,
CADE.
N. Shankar,
S. Owre,
J. Rushby,
1996
.
John Rushby,
Natarajan Shankar,
Sam Owre,
1991
.
Yassine Lakhnech,
Saddek Bensalem,
Sam Owre,
1998,
CAV.
Andrew Adams,
Ursula Martin,
Sam Owre,
2001,
Lecture Notes in Computer Science.
Mandayam K. Srivas,
John Rushby,
Natarajan Shankar,
1998
.
Natarajan Shankar,
Mandayam K. Srivas,
John M. Rushby,
1994,
TPCD.
Natarajan Shankar,
Leonardo de Moura,
Sam Owre,
2003
.
César Muñoz,
Yassine Lakhnech,
John Rushby,
2000
.
Yassine Lakhnech,
Saddek Bensalem,
Sam Owre,
1998,
CAV.
Natarajan Shankar,
Friedrich W. von Henke,
John M. Rushby,
1995,
IEEE Trans. Software Eng..
N. Shankar,
S. Owre,
Eric Yeh,
2023,
CICM.
N. Shankar,
S. Owre,
G. Passmore,
2023,
arXiv.org.
Natarajan Shankar,
Sam Owre,
N. Shankar,
2011,
Formal Modeling: Actors, Open Systems, Biological Systems.
Natarajan Shankar,
Sam Owre,
N. Shankar,
1999,
WADT.
Friedrich W. von Henke,
Stephan Pfab,
Harald Rueß,
1998,
Tool Support for System Specification, Development and Verification.
Eric Feron,
Pierre-Loïc Garoche,
Heber Herencia-Zapana,
2012,
NASA Formal Methods.
Natarajan Shankar,
Simon Cruanes,
Sam Owre,
2013,
VMCAI.
Natarajan Shankar,
Harald Ruess,
Leonardo Mendonça de Moura,
2004,
IJCAR.
S. Owre,
S. Berezin,
Y. Lakhnech,
2001,
TACAS.
Ashish Tiwari,
Natarajan Shankar,
Harald Ruess,
2004,
CAV.
S. Owre,
S. Berezin,
Y. Lakhnech,
2022
.
Natarajan Shankar,
Sam Owre,
N. Shankar,
2003
.
Georges Gonthier,
J. Meseguer,
S. Owre,
2006
.
John Rushby,
Natarajan Shankar,
Sam Owre,
1993
.
Natarajan Shankar,
John M. Rushby,
Sam Owre,
1998,
IEEE Trans. Software Eng..
Andrew Adams,
Ursula Martin,
Sam Owre,
2001,
TPHOLs.