Book

Verified Software: Theories, Tools, Experiments

by Rajeev Joshi