|ITEM METADATA RECORD
|Title: ||VC generation for functional behavior and non-interference of iterators|
|Authors: ||Jacobs, Bart ×|
Schulte, Wolfram #
|Issue Date: ||2006 |
|Host Document: ||Proceedings of the 2006 conference on Specification and verification of component-based systems pages:67-70|
|Conference: ||Specificationand verification of component-based systems location:Portland, Oregon date:November 10-11, 2006|
|Publication status: ||published|
|KU Leuven publication type: ||IC|
|Appears in Collections:||Informatics Section|
× corresponding author|
# (joint) last author|
|Files in This Item:
There are no files associated with this item.
Request a copy
All items in Lirias are protected by copyright, with all rights reserved.