Home | deutsch  | Legals | Sitemap | KIT

Software Verification: State of the Art and Challenges

Software Verification: State of the Art and Challenges
Author:

Carsten Sinz

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