Adequacy-Preserving Transformations of COSY Path Programs (1992)

Author(s): Koutny M

      • Date: 01-04-2002
      • Journal: Theoretical Computer Science
      • Volume: 94
      • Issue: 1
      • Pages: 141-158
      • Publisher: Elsevier Science Publishers BV
      • Publication type: Article
      • Bibliographic status: Published
      Staff

      Professor Maciej Koutny
      Professor of Computing Science