Verified software: theories, tools and experiments.
The importance of verification for software products is being increasingly appreciated in industry, although still not to the level to make it a standard approach to high quality software in industry. Since 2005, a global initiative has been underway, started by eminent researchers in both industry...
| المؤلفون الرئيسيون: | , |
|---|---|
| التنسيق: | Journal article |
| اللغة: | English |
| منشور في: |
2010
|