Verified Software: Theories, Tools, and Experiments
Author/Editor: Gurfinkel | Publication year: 2016
Valuations of Skew Fields and Projective Hjelmslev Spaces
Author/Editor: Mathiak | Publication year: 1986
Vereinheitlichte Feldtheorien der Elementarteilchen
Author/Editor: Saller | Publication year: 1985
Verification and Evaluation of Computer and Communication Systems
Author/Editor: Atig | Publication year: 2018
Verification, Model Checking, and Abstract Interpretation
Author/Editor: Emerson | Publication year: 2006
Verification, Model Checking, and Abstract Interpretation
Author/Editor: McMillan | Publication year: 2014
Verification, Model Checking, and Abstract Interpretation
Author/Editor: Jobstmann | Publication year: 2016
Venture Capital, Corporate Governance, and Firm Value
Author/Editor: Kleinschmidt | Publication year: 2007
Verification, Model Checking, and Abstract Interpretation
Author/Editor: Steffen | Publication year: 2004