ETAPS 2019
Sat 6 - Thu 11 April 2019 Prague, Czech Republic
Sat 6 Apr 2019 11:10 - 11:20 at S6 - II

Sat 6 Apr

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

11:00 - 12:00
11:00
10m
Talk
Advances in Usability of Formal Methods for Code Verification
InterAVT
11:10
10m
Talk
Scalable Software Testing and Verification for Industrial-Scale Systems: The Challenges
InterAVT
Anila Mjeda Lero - The Irish Software Research Centre and University of Limerick, Goetz Botterweck Lero - The Irish Software Research Centre and University of Limerick
11:20
10m
Talk
AskTheCode: Interactive Call Graph Exploration for Error Fixing and Prevention
InterAVT
Robert Husak , Jan Kofroň Charles University, Filip Zavoral
11:30
30m
Talk
Lighting talks (non-authors)
InterAVT