Goodbye to faulty software?
Tuesday, July 15, 2008 - 14:56
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 revolutionise the software industry.