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

1
Published 2006
Springer Berlin Heidelberg
Table of Contents: “... -- Behaviour and Formal Languages -- Proving Behavioral Refinements of COL-specifications -- The Reactive...”
Cover Image
Read Now

2
Published 2014
Springer Berlin Heidelberg
Table of Contents: “... Invariant Analyzer Tool -- Theorem Proving Based onProof Scores for Rewrite Theory Specifications of OTSs...”