Stiftungsprofessur für zuverlässige Softwaresysteme in der Automobilindustrie

Software Verification: State of the Art and Challenges

  • Autor:

    Carsten Sinz

  • Quelle:

    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

  • Datum: 2010