Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
refinement information » refinement animation, refinement international, enforcement information
refinement information » refinement animation, refinement international, enforcement information
1
Published 2010
Table of Contents:
“... Linearizability Proofs with Reduction and Abstraction -- A Polymorphic Intermediate Verification Language: Design...”View full text
Electronic
eBook
2
Published 2013
Table of Contents:
“... for Separation Logic -- Abstract Refinement Types -- Constraining Delimited Control with Contracts -- Verifying...”View full text
Electronic
eBook
3
Published 2014
Table of Contents:
“... Rule Refinement -- Polymorphic Single-Pushout Graph Transformation -- Causal-Consistent Reversible...”View full text
Electronic
eBook
4
Published 2006
Table of Contents:
“... by Combining Local Composition from EDX with Information from Diffraction Database -- Analysis of Local...”View full text
Electronic
eBook