Search alternatives:
"proving" » "providing", "improving", "province"
Cover Image
Read Now

1
Published 2009
Springer Berlin Heidelberg
“..., automated deduction and interactive theorem proving, logical methods in protocol and program verification...”