![](/img/cover-not-exists.png)
[Lecture Notes in Computer Science] Object-Oriented Programming Volume 821 || Combining object-oriented analysis and formal description techniques
Tokoro, Mario, Pareschi, RemoVolume:
10.1007/BF
Year:
1994
Language:
english
DOI:
10.1007/BFb0052191
File:
PDF, 1.04 MB
english, 1994