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 |
Sprog: | English |
Udgivet: |
2011
|
Lignende værker
-
Verified software: theories, tools and experiments.
af: Kroening, D, et al.
Udgivet: (2010) -
Editorial
af: Ward, SE, et al.
Udgivet: (2008) -
Editorial.
af: Noble, D
Udgivet: (2009) -
Editorial
af: Van Hulle, D, et al.
Udgivet: (2020) -
Editorial
af: Roberts, J
Udgivet: (2011)