%0 Book
%A  Dang Van Hung, Mizuhito Ogawa (eds.)
%T Automated technology for verification and analysis :
%U /book/89974752/Automated-technology-for-verification-and-analysis/