COMPUTATION TOOLS 2022, The Thirteenth International Conference on Computational Logics, Algebras, Programming, Tools, and Benchmarking
Type: conference
Notes: IARIA Conference.
Editors:
Claus-Peter Rückemann, Leibniz Universität Hannover / Westfälische Wilhelms-Universität Münster / North-German Supercomputing Alliance (HLRN), Germany
ISSN: 2308-4170
ISBN: 978-1-61208-954-6
Location: Barcelona, Spain
Dates: from April 24, 2022 to April 28, 2022
Articles: there are 2 articles
Efficient Formal Verification with Confidence Intervals