TY - BOOK TI - System verification : proving the design solution satisfies the requirements AU - Grady, Jeffrey O. SN - 9780123740144 (alk. paper) PB - Elsevier/Academic Press PP - Amsterday ; Boston : Elsevier/Academic Press, c2007. PY - 2007 UR - https://library.korea.ac.kr/detail/?cid=CAT000045408819&ctype=m