Normal view MARC view

Shao, Zhong. (Personal Name)

Preferred form: Shao, Zhong.

Machine generated authority record.

Work cat.: ()947357: International Conference on Certified Programs and Proofs. (1st : 2011 : Kenting, Taiwan) 1040210, Certified Programs and Proofs, 2011.

                                                                           
web counter

Copyright ©2020 The National Library of India, Govt. of India ↔ Hosted by NVLI, MOC ↔ Technology and Design by National Library of India, Ministry of Culture, Govt. of India