mural -- A Formal Development Support System (2004)
by
C. B. Jones
,
K. D. Jones
,
P. A. Lindsay
,
R. Moore
,
J. Bicarregui
,
M. Elvang-Gøransson
,
R. E. Fields
,
R. Kneuper
,
B. Ritchie
,
A. C. Wills
Citations: | 93 - 29 self |