Zoeken

U zocht naar: Auteur Schreiner, Dietmar Filter Auteur: Schreiner, Dietmar weghalen
1 Item gevonden
Aantal zoekresultaten per pagina

Zoekresultaten

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