Works matching DE "COMPUTER specifications"


Results: 9
    1
    2
    3
    4

    Parameterized verification.

    Published in:
    International Journal on Software Tools for Technology Transfer, 2016, v. 18, n. 5, p. 469, doi. 10.1007/s10009-016-0424-3
    By:
    • Abdulla, Parosh;
    • Delzanno, Giorgio
    Publication type:
    Article
    5
    6
    7
    8
    9