Prospects for automatic verification of programs

CiNii Available at 2 libraries

Bibliographic Information

Title
"Prospects for automatic verification of programs"
Statement of Responsibility
Erik P. Jensen
Publisher
  • 資料協会
Publication Year
  • [19--]
Book size
25 cm

Search this Book/Journal

Notes

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

Related Books

See more

Details 詳細情報について

  • CRID
    1130282269079287168
  • NII Book ID
    BB05675016
  • Text Lang
    en
  • Country Code
    ja
  • Title Language Code
    en
  • Place of Publication
    • [S.l.]
  • Data Source
    • CiNii Books
Back to top