Yaron WolfsthalBooksHardware and software, verification and testingI Am a Tear of Joy and SorrowHardware and Software, Verification and TestingAuthor data: Open Library