Showing 1 - 2 results of 2 for search 'Nguyen, Thi Minh Tuyen', query time: 0.02s Refine Results
  1. 1
    Taking architecture and compiler into account in formal proofs of numerical programs
    by Nguyen, Thi Minh Tuyen
    Published 2012
    Get full text
  2. 2
    Taking architecture and compiler into account in formal proofs of numerical programs
    by Nguyen, Thi Minh Tuyen
    Published 2012
    Get full text
    Get full text
Search Tools: Get RSS Feed — Email this Search