Automatic verification of programs with complex data structures

Web Site CiNii Available at 12 libraries

Bibliographic Information

Title
"Automatic verification of programs with complex data structures"
Statement of Responsibility
Norihisa Suzuki
Publisher
  • Garland Pub.
Publication Year
  • 1980
Book size
22 cm

Search this Book/Journal

Notes

Originally presented as the author's thesis, Stanford, 1976

Bibliography: p. 129-134

Related Books

See more

Details 詳細情報について

Back to top