Prospects for automatic verification of programs
著者
書誌事項
Prospects for automatic verification of programs
（海外研究開発レポート, Data no. C-5320）
資料協会, [19--]
大学図書館所蔵 件 / 全2件
-
該当する所蔵館はありません
- すべての絞り込み条件を解除する
この図書・雑誌をさがす
注記
Reprint. Originally distributed by NTIS (National Technical Information Service, U.S. Depertment of Commerce)
"Prepared for Rome Air Development Center, February 1974"
"Report number: RADC-TR-74-16"
"JTRA" -- Cover
Includes bibliographical references (l. 62-66)
AD777193