Software Bugs Seen from an Industrial Perspective or Can Formal Methods Help on Automotive Software Development?

Thomas Kropf

Browse the full CAV paper archive.