程序合成与转换: Synthesis 基于逻辑 and Transformation 28th Program International Based 海外直订Logic Symposium
相关推荐