Title: Proceedings of the Seventh International Workshop on Software Specification and Design
Subjects: software specification, software design, IEEE, IWSSD, ACM, SIGSOFT