Alessandro Fantechi, Alessio Ferrari. Panel Discussion on Formal Methods in Commercial Software Development Tools. In Darren D. Cofer, Alessandro Fantechi, editors, Formal Methods for Industrial Critical Systems, 13th International Workshop, FMICS 2008, L Aquila, Italy, September 15-16, 2008, Revised Selected Papers. Volume 5596 of Lecture Notes in Computer Science, pages 4-6, Springer, 2008. [doi]
Abstract is missing.