1. Validation of evolving software. (2015) Editors: Chockler, Hana; Kroening, Daniel; Mariani, Leonardo; Sharygina, Natasha Record Type: Book Extent: 1 online resource (viii, 218 pages), illustrations (some color) View Content: Available online (eLD content is only available in our Reading Rooms) ↗