R. Seliger
发表
M. Meyer,
R. Seliger,
M. Meyer,
1998
.
R. Seliger,
1997
.
R Seliger,
R. Seliger,
2001,
Health management technology.
William E. Weihl,
Irene Greif,
Robert Seliger,
1992,
IEEE Trans. Software Eng..
William E. Weihl,
Irene Greif,
Robert Seliger,
1986,
POPL '86.