%0 Conference Paper %1 conf/fmics/FantechiF08 %A Fantechi, Alessandro %A Ferrari, Alessio %B FMICS %D 2008 %E Cofer, Darren D. %E Fantechi, Alessandro %I Springer %K dblp %P 4-6 %T Panel Discussion on Formal Methods in Commercial Software Development Tools. %U http://dblp.uni-trier.de/db/conf/fmics/fmics2008.html#FantechiF08 %V 5596 %@ 978-3-642-03239-4

@inproceedings{conf/fmics/FantechiF08, added-at = {2017-06-02T00:00:00.000+0200}, author = {Fantechi, Alessandro and Ferrari, Alessio}, biburl = {https://www.bibsonomy.org/bibtex/2c5bbfd5727dc584f714fde0f25a35151/dblp}, booktitle = {FMICS}, crossref = {conf/fmics/2008}, editor = {Cofer, Darren D. and Fantechi, Alessandro}, ee = {https://doi.org/10.1007/978-3-642-03240-0_4}, interhash = {f9fd0e9bf0c742a9e4decbc8f83e181b}, intrahash = {c5bbfd5727dc584f714fde0f25a35151}, isbn = {978-3-642-03239-4}, keywords = {dblp}, pages = {4-6}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T18:51:45.000+0200}, title = {Panel Discussion on Formal Methods in Commercial Software Development Tools.}, url = {http://dblp.uni-trier.de/db/conf/fmics/fmics2008.html#FantechiF08}, volume = 5596, year = 2008 }