Works matching IS 14332779 AND DT 2011 AND VI 13 AND IP 5


Results: 6
    1
    2

    Deductive software verification.

    Published in:
    International Journal on Software Tools for Technology Transfer, 2011, v. 13, n. 5, p. 397, doi. 10.1007/s10009-011-0211-0
    By:
    • Filliâtre, Jean-Christophe
    Publication type:
    Article
    3
    4
    5
    6