Correctness-oriented approaches to software development

Author(s)

Bibliographic Information

Correctness-oriented approaches to software development

by Stephen Gilmore

University of Edinburgh, Department of Computer Science, 1991

Available at  / 1 libraries

Search this Book/Journal

Note

Includes bibliography (p. 166-168)

Author's thesis (Ph.D.)--Queen's University, Belfast 1990

CST-76-91 (also published as ECS-LFCS-91-147)

Details

  • NCID
    BC10716732
  • Country Code
    uk
  • Title Language Code
    eng
  • Text Language Code
    eng
  • Place of Publication
    Edinburgh
  • Pages/Volumes
    x, 168 p.
  • Size
    21 cm
Page Top