Showing 1 - 2 results of 2 for search 'V. M. Itsykson', query time: 0.01s Refine Results
  1. 1
    The Formalism and Language Tools for Semantics Specification of Software Libraries

    The Formalism and Language Tools for Semantics Specification of Software Libraries by V. M. Itsykson

    Published 2016-12-01
    Get full text
    Article
    Save to List
    Saved in:
  2. 2
    The Use of Dependencies for Improving the Precision of Program Static Analysis

    The Use of Dependencies for Improving the Precision of Program Static Analysis by M. I. Glukhikh, V. M. Itsykson, V. A. Tsesko

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

Search Tools: