Sciweavers

60
Voted
SEW
2006
IEEE

First Steps in the Verified Software Grand Challenge

15 years 2 months ago
First Steps in the Verified Software Grand Challenge
Jim Woodcock
Added 12 Jun 2010
Updated 12 Jun 2010
Type Conference
Year 2006
Where SEW
Authors Jim Woodcock
Comments (0)