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]
@inproceedings{FantechiF08,
title = {Panel Discussion on Formal Methods in Commercial Software Development Tools},
author = {Alessandro Fantechi and Alessio Ferrari},
year = {2008},
doi = {10.1007/978-3-642-03240-0_4},
url = {http://dx.doi.org/10.1007/978-3-642-03240-0_4},
researchr = {https://researchr.org/publication/FantechiF08},
cites = {0},
citedby = {0},
pages = {4-6},
booktitle = {Formal Methods for Industrial Critical Systems, 13th International Workshop, FMICS 2008, L Aquila, Italy, September 15-16, 2008, Revised Selected Papers},
editor = {Darren D. Cofer and Alessandro Fantechi},
volume = {5596},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {978-3-642-03239-4},
}