Book

Verified Software. Theories, Tools and Experiments

by Akash Lal, Stefano Tonetta