Sciweavers

98
Voted
ACL2
2006
ACM

The ideal of verified software

15 years 17 days ago
The ideal of verified software
Tony Hoare
Added 20 Aug 2010
Updated 20 Aug 2010
Type Conference
Year 2006
Where ACL2
Authors Tony Hoare
Comments (0)