SPLASH 2022
Mon 5 - Sat 10 December 2022 Auckland, New Zealand
Michele Chiari

Registered user since Fri 5 Mar 2021

Name:Michele Chiari
Country:Austria
Affiliation:TU Wien
Research interests:Formal Methods, Approximate Computing, Temporal Logic, Model Checking, Software Verification

Contributions

SPLASH 2022 Committee Member in Artifact Evaluation Committee within the OOPSLA Artifacts-track
Committee Member in External Review / Artifact Evaluation Committee within the OOPSLA-track
Show activities from other conferences

SPLASH 2022-profile
View general profile