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:85 - 25 self