Sciweavers

FM
2003
Springer
129views Formal Methods» more  FM 2003»
13 years 10 months 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