Sol ed. Greenspan

Fifth International Workshop on Software Specification and Design: Proceedings (INTERNATIONAL WORKSHOP ON SOFTWARE SPECIFICATION AND ... ON SOFTWARE SPECIFICATION AND DESIGN)