The University of Utah.;
机译:RML:域特定语言的理论和实践,验证
机译:开发一个自我适用的验证系统。理论与实践
机译:关于具有额外约束的嵌套工作流的验证:从理论到实践
机译:RV-TheToP:从理论到行业实践的运行时验证(跟踪介绍)
机译:从理论到实践,从理论到实践:为英语作为第二语言的学术写作课堂发展批判和女权主义的教学法。
机译:婴幼儿幼儿有意义的听觉整合规模的修改与验证:一种心动测验与古典测试理论的响应理论结合
机译:约束解决程序验证:理论和实践的例子