Sciweavers

ICECCS
2008
IEEE

Verified Software: Theories, Tools, Experiments

14 years 7 months ago
Verified Software: Theories, Tools, Experiments
Tony Hoare
Added 30 May 2010
Updated 30 May 2010
Type Conference
Year 2008
Where ICECCS
Authors Tony Hoare
Comments (0)