Verified Software. Theories, Tools, and Experiments

Andrei Paskevich, Thomas Wies

Verified Software. Theories, Tools, and Experiments - Springer Springer 2017

9783319723082

EBOOK