TY - BOOK AU - Jeffrey O. Grady TI - System Verification (Second Edition) SN - 9780128042212 PY - 2016/// PB - Academic Press KW - Engineering 2016 UR - https://www.sciencedirect.com/science/book/9780128042212 ER -