Home | english  | Impressum | Sitemap | KIT

Software Verification: State of the Art and Challenges

Software Verification: State of the Art and Challenges
Autor:

Carsten Sinz

Links:
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