Results (2)

  • Compositional specifications for ioco testing
    Conference paper