"Automated technology for verification and analysis: second international conference, ATVA 2004, Taipei, Taiwan, ROC, October 31-November 3, 2004: proceedings" - читать интересную книгу автора (Farn Wang)