MPG.eBooks - Search Results - "prove"

Search alternatives:
"prove" » "proven"

Cover Image

1

Deductive verification of object-oriented software : dynamic frames, dynamic logic and predicate abstraction

by Weiß, Benjamin
Published 2011

KIT Scientific Publishing

Subjects: “...theorem proving...”