Sciweavers

FM
2003
Springer
129views Formal Methods» more  FM 2003»
14 years 2 days ago
Trends in Software Verification
With the steady increase in computational power of general purpose computers, our ability to analyze routine software artifacts is also steadily increasing. As a result, we are wit...
Gerard J. Holzmann