Search

You searched for: Auteur Schreiner, Dietmar Remove constraint Auteur: Schreiner, Dietmar
1 entry found
Number of results to display per page

Search Results

1. Leveraging Applications of Formal Methods, Verification, and Validation
thumbnail
Full text!
Author:
Hähnle, Reiner; Knoop, Jens; Margaria, Tiziana; Schreiner, Dietmar; Steffen, Bernhard
Publisher:
Springer Berlin Heidelberg 2012
Format:
e-book