Back to Search
Start Over
Specification and Transformation of Programs
- Publication Year :
- 1990
- Publisher :
- Springer Berlin Heidelberg, 1990.
Details
- Database :
- OpenAIRE
- Accession number :
- edsair.doi...........c24d9d8189848910539bffcec2347e1b
- Full Text :
- https://doi.org/10.1007/978-3-642-61512-2