4 citations · 4 across the 1 of their papers we have counts for
1 paper
Cliff B. Jones, Alan Burns
The reference point for developing any artefact is its specification; to develop software formally, a formal specification is required. For sequential programs, pre and post condit…