Showing 1 - 2 results of 2 for search 'Zee, Karen', query time: 0.07s Refine Results
  1. 1
    Verification of full functional correctness for imperative linked data structures
    by Zee, Karen K
    Published 2010
    Get full text
    Others
  2. 2
    An Integrated Proof Language for Imperative Programs
    Other Authors: “...Zee, Karen...”
    Get fulltext
    Article
Search Tools: Get RSS Feed — Email this Search