机译:解决并发程序的传统形式推理方法的缺点:源代码正确性的新工具和技术
机译:可以正确地对类似于Java的多线程程序进行内联监视
机译:软件密集型系统需求建模的形式化和半形式化语言和技术的系统识别
机译:Java类似程序的正式技术在Ecoop 2008的第10次研讨会上报告
机译:整合非正式和正式技术以逆转工程师的当务之急。
机译:COVID-19对巴基斯坦外科住院计划的影响;居民的观点。程序是否需要进行正式的结构调整以适应新常态?横断面调查研究
机译:类似Java程序的正式技术(FTfJP
机译:使用Information211系统技术正式规范和程序转换来设计OsI CCR协议的实现