International Journal on Software Tools for Technology Transfer, 1433-2779

Journal

Publications

  1. 2017
  2. E-pub ahead of print
  3. 2010
  4. Published

    Data-Abstraction Refinement: a Game Semantic Approach

    Dan Ghica, 1 Sep 2010, In : International Journal on Software Tools for Technology Transfer. 12, 5, p. 373-389 17 p.

    Research output: Contribution to journalArticle

  5. 2007
  6. Published
  7. 2006
  8. Published
  9. Published
  10. Published

    On a time enriched OCL liveness template

    Juliana Bowles, 1 Apr 2006, In : International Journal on Software Tools for Technology Transfer. 8, 2, p. 156-166 11 p.

    Research output: Contribution to journalArticle

  11. 2004
  12. Published
  13. Published