Showing 1 - 2 results of 2 for search 'Britton, Dianne Ellen, 1950-', query time: 0.06s Refine Results
  1. 1
    Heap storage management for the programming language Pascal
    by Britton, Dianne Ellen, 1950-
    Published 1975
    Get full text
  2. 2
    INCREMENTAL SYNTHESIS OF INDUCTIVE ASSERTIONS FOR PROGRAM VERIFICATION
    by Britton, Dianne Ellen, 1950-
    Published 1977
    Get full text
Search Tools: Get RSS Feed — Email this Search