Verification of Software via Integration of Design and Implementation

doi 10.1109/ipdps.2006.1639581
Full Text
Abstract

Available in full text

Date
Authors
Publisher

IEEE