![](/img/cover-not-exists.png)
Harmonizing intra- and inter-object specification and verification
Ehrich, Hans-DieterVolume:
30
Language:
english
Journal:
ACM SIGSOFT Software Engineering Notes
DOI:
10.1145/1082983.1083184
Date:
July, 2005
File:
PDF, 27 KB
english, 2005