Celestí Rosselló

Publication Activity (10 Years)

Years Active: 1989-1989
Publications (10 Years): 0

Publications

Celestí Rosselló, José L. Balcázar, Ricardo Pena
Deriving Specifications of Embeddings in Recursive Program Design. Struct. Program. 10 (3) (1989)