formal specification; programming language semantics; constraint diagrams; diagrammatic notation; logical statement; reading tree; software reasoning; software specification;
机译:违约距离和违约概率:一项实验研究
机译:纸质阅读和数字阅读的阅读理解效果的实验研究
机译:钛金属相图的实验约束
机译:约束图默认读取的实验研究
机译:二维粒状材料干扰相图的实验研究
机译:硼的平衡p-T相图:实验研究和热力学分析
机译:对约束图默认读取的实验研究
机译:海洋扩散中心岩石圈流变,演化和蚀变的实验和地震学约束