Works matching IS 00015903 AND DT 2011 AND VI 48 AND IP 2

Results: 2
    1
    2

    Testing for refinement in Circus.

    Published in:
    Acta Informatica, 2011, v. 48, n. 2, p. 97, doi. 10.1007/s00236-011-0133-z
    By:
    • Cavalcanti, Ana;
    • Gaudel, Marie-Claude
    Publication type:
    Article