The 15 revised full papers presented together with 3 tool papers and 4 posters were carefully reviewed and selected from 43 submissions. The papers are organized in topical sections on synthesis, formal verification, software quality, testing and coverage, experience and tools, and posters- student event.
![Hardware and Software: Verification and Testing Hardware and Software: Verification and Testing](https://www.angusrobertson.com.au/images/9783642341878.jpg?width=250)
Share This Book: