A framework and tool support for the systematic testing of model-based specifications Journal Articles Refereed uri icon

Overview

Published in

  • ACM Transactions on Software Engineering and Methodology

Time

Date/time value

  • 2003

Identity

Digital Object Identifier (DOI)

  • 10.1145/990010.990012

Additional Document Info

Parent Title

  • ACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY

Volume

  • 12

Issue

  • 4

Publisher

  • Association for Computing Machinery Inc.