Amanote Research
Register
Sign In
Verification of Software via Integration of Design and Implementation
doi 10.1109/ipdps.2006.1639581
Full Text
Open PDF
Abstract
Available in
full text
Date
January 1, 2006
Authors
A.S. Miner
S. Basu
Publisher
IEEE