232
views
0
recommends
+1 Recommend
1 collections
    4
    shares
       
      • Record: found
      • Abstract: found
      • Conference Proceedings: found
      Is Open Access

      Applications of the TAMPR Transformation System

      proceedings-article

      ,

      2nd Irish Workshop on Formal Methods (FM)

      Irish Workshop on Formal Methods

      2-3 July 1998

      Bookmark

            Content

            Author and article information

            Conference
            July 1998
            July 1998
            : 1-14
            Affiliations
            [0001]School of Information and Software Engineering

            University of Ulster at Jordanstown

            Newtownabbey BT37 0QB

            United Kingdom.
            [0002]Technology Division

            Argonne National Laboratory

            Argonne IL 60439

            USA.
            Article
            10.14236/ewic/FM1998.5
            8a8b7235-fa93-4c47-acdc-21078e94b893
            © TJ Harmer et al. Published by BCS Learning and Development Ltd. 2nd Irish Workshop on Formal Methods, Cork, Ireland

            This work is licensed under a Creative Commons Attribution 4.0 Unported License. To view a copy of this license, visit http://creativecommons.org/licenses/by/4.0/

            2nd Irish Workshop on Formal Methods
            FM
            2
            Cork, Ireland
            2-3 July 1998
            Electronic Workshops in Computing (eWiC)
            Irish Workshop on Formal Methods
            Product
            Product Information: 1477-9358BCS Learning & Development
            Self URI (journal page): https://ewic.bcs.org/
            Categories
            Electronic Workshops in Computing

            Comments

            Comment on this article