Tutorials (2h30)

Technical Talks (1h30)

Roundtable Debate (2h)

Formal Methods in Industry: Myths or Reality?:
with
Printer-friendly version Printer-friendly version