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: | 80 - 24 self |
BibTeX
@MISC{Jones04mural--,
author = {C. B. Jones and K. D. Jones and P. A. Lindsay and R. Moore and J. Bicarregui and M. Elvang-Gøransson and R. E. Fields and R. Kneuper and B. Ritchie and A. C. Wills},
title = {mural -- A Formal Development Support System},
year = {2004}
}
Bookmark
 |
 |
 |
 |
 |
 |
