Back to Search
Start Over
Larch: Languages and Tools for Formal Specification
- Publication Year :
- 1993
- Publisher :
- Springer New York, 1993.
Details
- Database :
- OpenAIRE
- Accession number :
- edsair.doi...........48d55d66332528a07e91cf0292a6b883
- Full Text :
- https://doi.org/10.1007/978-1-4612-2704-5