Succeedings of the seventh international workshop on software specification and design

Authors:
Martin S. Feather;Axel van Lamsweerde
Affiliations:
-;-
Venue:
ACM SIGSOFT Software Engineering Notes
Year:
1994

Citing 0
Cited 2

Liveness conditions in model-based service specifications: a case study

SIGSOFT '95 Proceedings of the 3rd ACM SIGSOFT symposium on Foundations of software engineering
Software architecture in industrial applications

Proceedings of the 17th international conference on Software engineering

Quantified Score

Hi-index	0.00

Visualization

Abstract