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

1
Published 2006
Springer Berlin Heidelberg
Table of Contents: “... of Transformations in Compiler Back-Ends -- Accurate Theorem Proving for Program Verification -- Designing Safe...”
Cover Image
Read Now

2
Published 2020
Springer International Publishing
Table of Contents: “...-based Environment Modeling -- Formally Proving Compositionality in Industrial Systems with Informal...”
Cover Image
Read Now

3
Published 2008
Springer Berlin Heidelberg
Table of Contents: “... to Modelling Dynamic Architecture: Application to Mobile Ad-Hoc Network -- Trusted Theorem Proving: A Case...”