Practical aspects of automated deduction for program verification (0)

by Wolfgang Ahrendt, Bernhard Beckert, Martin Giese, Philipp Rümmer
Venue:In this issue