Editorial.
The importance of verification for software products is being increasingly appreciated in industry, although still not as much as necessary to become a standard development approach for industrial-scale high-quality software. The VSTTE series of conferences and workshops focuses on the challenge of...
Main Authors: | Kroening, D, Margaria, T, Woodcock, J |
---|---|
Format: | Journal article |
Language: | English |
Published: |
2011
|
Similar Items
-
Verified software: theories, tools and experiments.
by: Kroening, D, et al.
Published: (2010) -
Editorial
by: Ward, SE, et al.
Published: (2008) -
Editorial.
by: Noble, D
Published: (2009) -
Editorial
by: Van Hulle, D, et al.
Published: (2020) -
Editorial
by: Roberts, J
Published: (2011)