Specification transformation and semantic expansion to support automated testing

Authors:
Mark Richard Blackburn;Paul Ammann
Affiliations:
-;-
Venue:
Specification transformation and semantic expansion to support automated testing
Year:
1998

Citing 0
Cited 1

The Industrial Use of Formal Methods: Was Darwin Right?

WIFT '98 Proceedings of the Second IEEE Workshop on Industrial Strength Formal Specification Techniques

Quantified Score

Hi-index	0.00

Visualization

Abstract