Applicable Formal Methods for Safe Industrial ProductsAnne E. Haxthausen, Wen-ling Huang, Markus Roggenbach · First published 2023Open the Tome
世界文化遗产China) "Shi jie wen hua yi chan : Ming Qing huang jia ling qin bao hu yu fa zhan yan tao hui" (2006 Beijing · First published 2007Open the Tome
