Science of Computer Programming, Volume 20

Volume 20, Numbers 1-2, April 1993

Selected Papers of the Sixth International Workshop on Software Specification and Design (6IWSSD)

Volume 20, Number 3, June 1993