Panelist position statement: reasoning about the design of programs.
Jones
Cliff B
CB
University of Newcastle upon Tyne, UK. cliff.jones@ncl.ac.uk
D000465:Algorithms; D008432:Mathematical Computing; D008962:Models, Theoretical; D009716:Numerical Analysis, Computer-Assisted; D012984:Software; D012985:Software Design; D012986:Software Validation