ISBN-13: 9783319703886, 978-3319703886. They are dedicatedto advance the state of the art and state of the practice in verification andtesting and are discussing future directions of testing and verificationfor hardware, software, and complex hybrid systems.
eBay