DIMI, University of Udine (Italy);
DIMI, University of Udine (Italy);
DSIC, Universitat Politecnica de Valencia (Spain);
DSIC, Universitat Politecnica de Valencia (Spain);
Curry; property-oriented specifications; semantic-based inference methods;
机译:具有高度可视化和抽象程序规范的自动编程系统SPACE
机译:规范和自动检查面向对象程序的体系结构约束
机译:石油和天然气工业中PLC程序的安全规范的自动测试
机译:自动综合一阶咖喱程序规范
机译:根据交易数据路径规范自动进行管道综合和形式验证。
机译:官能化噻吩并23-b吲哚的合成通过二氢吲哚啉-2-硫酮与Morita–Baylis–Hillman和Rauhut–Currier加合物硝基烯烃
机译:从对反应程序的动态观察中自动综合规格
机译:自动程序综合报告:1。加速程序合成器。 2.通过实例的程序合成系统,