Sciweavers

192
Voted
FM
2003
Springer
129views Formal Methods» more  FM 2003»
16 years 28 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