Verified Software. Theories, Tools, and Experiments

Ruzica Piskac, Philipp Rümmer

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

9783030035921

EBOOK
Copyright @ Delhi University Library System