Works matching IS 14332779 AND DT 2014 AND VI 16 AND IP 4


Results: 7
    1
    2
    3
    4

    Program verification and testing technologies.

    Published in:
    International Journal on Software Tools for Technology Transfer, 2014, v. 16, n. 4, p. 335, doi. 10.1007/s10009-014-0327-0
    By:
    • Margaria, Tiziana;
    • Qiu, Zongyan;
    • Yang, Hongli
    Publication type:
    Article
    5
    6
    7