Article
Aug 14 '06
Mathematical approaches to managing defects
Published in The Register
In this article by David Norfolk and Pan Pantziarka, the authors look at the increasing use of Formal Methods and the Correctness by Construction process championed by Altran Praxis.
