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

      Extending the Test Template Framework

      proceedings-article

      ,

      3rd BCS-FACS Northern Formal Methods Workshop (NFM)

      BCS-FACS Northern Formal Methods Workshop

      14-15 September 1998

      Bookmark

            Content

            Author and article information

            Contributors
            Conference
            September 1998
            September 1998
            : 1-17
            Affiliations
            Software Verification Research Centre

            Department of Computer Science & Electrical Engineering

            The University of Queensland
            Article
            10.14236/ewic/NFM1998.12
            afe90e50-9ed6-444e-888f-0b01de8eca25
            © Ian MacColl et al. Published by BCS Learning and Development Ltd. 3rd BCS-FACS Northern Formal Methods Workshop, Ilkley, UK

            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/

            3rd BCS-FACS Northern Formal Methods Workshop
            NFM
            3
            Ilkley, UK
            14-15 September 1998
            Electronic Workshops in Computing (eWiC)
            BCS-FACS Northern Formal Methods Workshop
            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