1 citations · 1 across the 5 of their papers we have counts for
1 paper · 1 filter
Garry Pantelis
These notes outline a formal method for program verification of numerical computation. It forms the basis of the software package VPC in its initial phase of development. Much of t…