MPG.eBooks - Search Results - "prove"

Search alternatives:
"prove" » "proven"

Cover Image

1

From Formal Semantics to Verified Slicing : A Modular Framework with Applications in Language Based Security

by Wasserrab, Daniel
Published 2011

KIT Scientific Publishing

Subjects: “...Theorem Proving...”