Proving programs correct

Bibliographic Information

Proving programs correct

Robert B. Anderson

Wiley, c1979

Available at  / 18 libraries

Search this Book/Journal

Note

Bibliography: p. 170-182

Includes index

Details

Page Top