Verified Software: Theories, Tools, And Experiments: 7Th International Conference, Vstte 2015
by Arie Gurfinkel /
2016 / English / PDF
5.6 MB Download