Title: VC generation for functional behavior and non-interference of iterators
Authors: Jacobs, Bart ×
Piessens, Frank
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
ISBN: 1-59593-586-X
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.