Specifying Pointer Structures by Graph Reduction

Research output: Contribution to journalArticle

Original languageEnglish
Number of pages48
JournalTechnical Report
Issue numberYCS-2003-367
Publication statusPublished - 2003

Bibliographical note

Technical Report YCS-2003-367, The University of York, 48 pages, 2003

Cite this