Goodbye To Faulty Software?
Friday, July 18, 2008 - 19:21
in Mathematics & Economics
Will it ever be possible to buy software guaranteed to be free from bugs? A team of European researchers think so. Their work on the mathematical foundations of programming could one day revolutionize the software industry.