![](/img/cover-not-exists.png)
Larch: Languages and Tools for Formal Specification ||
Guttag, John V., Horning, James J., Garland, S. J., Jones, K. D., Modet, A., Wing, J. M.Volume:
10.1007/97
Year:
1993
Language:
english
DOI:
10.1007/978-1-4612-2704-5
File:
PDF, 25.06 MB
english, 1993