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:89 - 28 self

Documents Related by Co-Citation

645 Systematic Software Development Using VDM – C B Jones - 1986
1423 A Discipline of Programming – E W Dijkstra - 1976
475 Programming from Specifications – C Morgan - 1990
1115 The Z Notation: A Reference Manual – J M Spivey - 1989
469 The Science of Programming – D Gries - 1987
505 Introduction to HOL: a theorem proving environment for higher order logic – M J C Gordon, T F Melham - 1993
739 The B Book: Assigning Programs to Meanings – J R Abrial - 1996
573 A Transformation System for Developing Recursive Programs – R. M. Burstall, John Darlington - 1977
1083 Introduction to Lattices and Order – DP90 B A Davey, H A Priestley - 1990