機(jī)譯：EMMA：用于編程課程的基于網(wǎng)絡(luò)的報(bào)告系統(tǒng)-自動(dòng)驗(yàn)證和增強(qiáng)的反饋-

機(jī)譯：規(guī)范和自動(dòng)驗(yàn)證原子并發(fā)實(shí)時(shí)交易

機(jī)譯：JLAMP特刊的自動(dòng)化規(guī)范和Web系統(tǒng)驗(yàn)證的社論

機(jī)譯：基于Web的應(yīng)用程序的自動(dòng)分析和驗(yàn)證的正式框架

機(jī)譯：Rosetta規(guī)范轉(zhuǎn)換的自動(dòng)驗(yàn)證方法

機(jī)譯：使用基于Web的應(yīng)用程序建立醫(yī)療程序術(shù)語(yǔ)的協(xié)作方法：從規(guī)格到日常使用

機(jī)譯：基于Web的應(yīng)用程序的自動(dòng)規(guī)范和驗(yàn)證

機(jī)譯：規(guī)格驗(yàn)??證程序，計(jì)算機(jī)可讀存儲(chǔ)介質(zhì)規(guī)格驗(yàn)證程序，規(guī)格驗(yàn)證裝置和規(guī)格驗(yàn)證方法

機(jī)譯：從基于Web的應(yīng)用程序中自動(dòng)得出應(yīng)用程序規(guī)范

機(jī)譯：從基于Web的應(yīng)用程序中自動(dòng)得出應(yīng)用程序規(guī)范