Deductive Software Verification - The Key Book: From Theory To Practice
by Wolfgang Ahrendt /
2016 / English / PDF
8.3 MB Download