Celestí Rosselló
According to our database1,
Celestí Rosselló
authored at least 1 paper
in 1989.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
1989
Deriving Specifications of Embeddings in Recursive Program Design.
Struct. Program., 1989