Introducing Software Engineering Specification Using Z: A Practical Case Study Approach

Authors:
Bryan Ratcliff
Affiliations:
-
Venue:
Introducing Software Engineering Specification Using Z: A Practical Case Study Approach
Year:
1994

Citing 0
Cited 1

Pragmatic Consistency Management in Industrial Requirements Specifications

SEFM '05 Proceedings of the Third IEEE International Conference on Software Engineering and Formal Methods

Quantified Score

Hi-index	0.00

Visualization

Abstract