Showing 1 - 1 results of 1 for search 'V. Itsykson', query time: 0.01s Refine Results
  1. 1
    Fast and Safe Concrete Code Execution for Reinforcing Static Analysis and Verification

    Fast and Safe Concrete Code Execution for Reinforcing Static Analysis and Verification by M. Belyaev, V. Itsykson

    Published 2015-12-01
    Get full text
    Article
    Save to List
    Saved in:

Search Tools: