4 citations · 5 across the 5 of their papers we have counts for
1 paper · 1 filter
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…