Thomas Kropf. Software Bugs Seen from an Industrial Perspective or Can Formal Methods Help on Automotive Software Development?. In Werner Damm, Holger Hermanns, editors, Computer Aided Verification, 19th International Conference, CAV 2007, Berlin, Germany, July 3-7, 2007, Proceedings. Volume 4590 of Lecture Notes in Computer Science, pages 3, Springer, 2007. [doi]
Abstract is missing.