Description
This book constitutes the thoroughly refereed post-conference proceedings of the 7th International Haifa Verification Conference, HVC 2011, held in Haifa, Israel in December 2011. 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. (Description from external book data)
listed in Computers | 6 similar books linked from this page.
Offers
Currently unavailable
There are no swap offers for this book right now.
Only Offers/Searches from registered users with name will be displayed. Set up a name here to see your offers.
Rate/Setting
Please log in to rate or offer books. Log in
Offer this book
Log in to add your own offer, choose the format and describe delivery options.
More to discover
Find more books by this author, in this category or in the same language.