This is your work, valued

ETH Zurich

Viper Project

Expert
@viperproject

Verification Infrastructure for Permission-​based Reasoning