Correctness of Data Representations Involving Heap Data Structures

Research output: Contribution to conference (unpublished)Paper

Authors

Colleges, School and Institutes

Details

Original languageEnglish
Pages223-237
Number of pages15
Publication statusPublished - 1 Jan 2003
EventProgramming Languages and Systems: 12th European Symposium on Programming -
Duration: 1 Jan 2003 → …

Conference

ConferenceProgramming Languages and Systems: 12th European Symposium on Programming
Period1/01/03 → …