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:84 - 24 self

Document Versions

mural -- A Formal Development Support System –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 — 2004