Works matching IS 14332779 AND DT 2013 AND VI 15 AND IP 2

Results: 4
    1

    Tools for software verification.

    Published in:
    International Journal on Software Tools for Technology Transfer, 2013, v. 15, n. 2, p. 85, doi. 10.1007/s10009-013-0270-5
    By:
    • Abdulla, Parosh;
    • Leino, K.
    Publication type:
    Article
    2
    3

    Büchi Store: an open repository of $$\omega $$-automata.

    Published in:
    International Journal on Software Tools for Technology Transfer, 2013, v. 15, n. 2, p. 109, doi. 10.1007/s10009-012-0268-4
    By:
    • Tsay, Yih-Kuen;
    • Tsai, Ming-Hsien;
    • Chang, Jinn-Shu;
    • Chang, Yi-Wen;
    • Liu, Chi-Shiang
    Publication type:
    Article
    4