![](/img/cover-not-exists.png)
[ACM Press the 2006 conference - Portland, Oregon (2006.11.10-2006.11.11)] Proceedings of the 2006 conference on Specification and verification of component-based systems - SAVCBS '06 - VC generation for functional behavior and non-interference of iterators
Jacobs, Bart, Piessens, Frank, Schulte, WolframYear:
2006
Language:
english
DOI:
10.1145/1181195.1181209
File:
PDF, 156 KB
english, 2006