[Lecture Notes in Computer Science] Deductive Software Verification – The KeY Book Volume 10001 ||
Ahrendt, Wolfgang, Beckert, Bernhard, Bubel, Richard, Hähnle, Reiner, Schmitt, Peter H., Ulbrich, MattiasVolume:
10.1007/97
Year:
2016
Language:
english
DOI:
10.1007/978-3-319-49812-6
File:
PDF, 8.26 MB
english, 2016