×
+ All Categories
Log in
English
Français
Español
Deutsch
The top documents tagged [permissionbased reasoning1st]
Home >
permissionbased reasoning1st
Viper A Verification Infrastructure for Permission-Based Reasoning 1 st March 2015, ECOOP’15 PC Meeting, Zurich Uri Juhasz, Ioannis Kassios, Peter Müller,
213 views