SDL `91

Authors:
O. Faergemand;R. Reed
Affiliations:
-;-
Venue:
SDL `91
Year:
1991

Citing 0
Cited 1

Autolink: A Tool for Automatic Test Generation from SDL Specifications

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

Quantified Score

Hi-index	0.00

Visualization

Abstract