Footprint analysis: a shape analysis that discovers preconditions :: Cristiano Calcagno :: Queen Mary University of London, Department of Computer Science :: OBNB, the Open British National Bibliography

Publication Data

Title Footprint analysis: a shape analysis that discovers preconditions
Author Cristiano Calcagno
Contributors Dino Distefano, Peter W. O'Hearn, Hongseok Yang, Hongseok Yang
Publisher Queen Mary University of London, Department of Computer Science
Publication date 0000
Publication location London

Descriptive Notes

Publisher's ref. no.: RR-07-02.

Topics

Computer software :: Development
Computer software :: Evaluation
Computer programs :: Verification
015325749

Catalogue Data

OBNB ID GBB640223
ISBN 10 n/a
ISBN 13 n/a
Type BibliographicResource, Book
Dewey Classification 005.14

ISBD

P1053 17 pages
P1042 Includes bibliographical references.

Buy a copy

OBNB doesn't sell books, but you may be able to find a copy at one of these websites:

Footprint analysis: a shape analysis that discovers preconditions by Cristiano Calcagno. Published by Queen Mary University of London, Department of Computer Science. Publication and catalogue information, links to buy online and reader comments.