14Denney, R. (1994) Test-Case Generation from Pro1 Based Specifications. IEEE Software, 8, 49-57. http://dx.doi.org/10.1109/52.73749
has been cited by the following article:
Related Articles: