Endowed professorship for reliable software systems in the automotive industry

Software Verification: State of the Art and Challenges

  • Author:

    Carsten Sinz

  • Source:

    In V. Pankratius, S. Kounev, editors, Emerging Research Directions in Computer Science – Contributions from the Young Informatics Faculty in Karlsruhe, pages 69-77. KIT Scientific Publishing, Karlsruhe, Germany

  • Date: 2010