Andrew S. Miner, Samik Basu. Verification of software via integration of design and implementation. In 20th International Parallel and Distributed Processing Symposium (IPDPS 2006), Proceedings, 25-29 April 2006, Rhodes Island, Greece. IEEE, 2006. [doi]
Abstract is missing.