Search

Jan Křetínský

On Correctness, Precision, and Performance in Quantitative Verification: QComp 2020 Competition Report

Published with Wowchemy — the free, open source website builder that empowers creators.