Sciweavers

ICECCS
2007
IEEE
86views Hardware» more  ICECCS 2007»
15 years 22 days ago
What Use is Verified Software?
The world at large cares little for verified software; what it cares about are trustworthy and cost-effective systems that do their jobs well. We examine the value of verified sof...
John M. Rushby