%0 Book
%A / Dang Hung, Mizuhito Ogawa
%T Automated Technology for Verification and Analysis
%U /book/93607376/Automated-Technology-for-Verification-and-Analysis/