ECOOP 2015
Sun 5 - Fri 10 July 2015 Prague, Czech Republic
Tue 7 Jul 2015 17:30 - 17:50 at Hluboka I - Tool Demonstration 2 Chair(s): Rosemary Monahan

Tue 7 Jul

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

17:30 - 17:50
Tool Demonstration 2FTfJP at Hluboka I
Chair(s): Rosemary Monahan Maynooth University
17:30
20m
Other
Viper (Verification Infrastructure for Permission-based Reasoning)
FTfJP
Malte Schwerhoff ETH Zurich, Switzerland