Nombre de documents

1

CV de ZHENG CHENG


Communication dans un congrès1 document

  • Zheng Cheng, Massimo Tisi. Incremental Deductive Verification for Relational Model Transformations. ICST 2017 - 10th IEEE International Conference on Software Testing, Verification and Validation, Mar 2017, Tokyo, Japan. <http://aster.or.jp/conference/icst2017/>. <hal-01435974>