Vytautas Astrauskas -

Not registered as user yet

Name: Vytautas Astrauskas

Affiliation: ETH Zurich, Switzerland

Contributions

SPLASH 2019	Author of Leveraging Rust Types for Modular Specification and Verification within the OOPSLA-track Author of Leveraging Rust Types for Modular Specification and Verification within the OOPSLA Artifacts-track