Search

You searched for: Auteur Erika Ábrahám, Klaus Havelund Remove constraint Auteur: Erika Ábrahám, Klaus Havelund
1 entry found
Number of results to display per page

Search Results

1. Tools and Algorithms for the Construction and Analysis of Systems
thumbnail
Full text!
Author:
Erika Ábrahám, Klaus Havelund; Havelund, Klaus
Publisher:
Springer Berlin Heidelberg 2014
Format:
e-book