Panel Discussion on Formal Methods in Commercial Software Development Tools.

Alessandro Fantechi, Alessio Ferrari

Browse the full FMICS paper archive.