Havelund: Declarative Specification of Software Architectures (0)

by J Penix, P Alexander, K
Venue:In Proceedings of the 12th IEEE International Conference on Automated Software Engineering (ASEC-97), Incline Village