Verified Software: Theories, Tools, And Experiments
by Arie Gurfinkel /
2016 / English / PDF
5.6 MB Download