Panel II Formal Methods Applied in Industry: Success Stories, Limitations, Perspectives - Panel Introduction.

Cristina Cerschi Seceleanu

Browse the full COMPSAC paper archive.