DMCA

Practical aspects of automated deduction for program verification

by Wolfgang Ahrendt , Bernhard Beckert , Martin Giese
Venue:In this issue
Citations:1 - 1 self