Prospects for automatic verification of programs
Author(s)
Bibliographic Information
Prospects for automatic verification of programs
（海外研究開発レポート, Data no. C-5320）
資料協会, [19--]
Available at / 2 libraries
-
Library, Research Institute for Mathematical Sciences, Kyoto University数研
L/N||JEN||5||1200042283293
-
No Libraries matched.
- Remove all filters.
Search this Book/Journal
Note
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