Search

You searched for: Auteur Bartocci, Ezio; Ramakrishnan, C.R. Remove constraint Auteur: Bartocci, Ezio; Ramakrishnan, C.R.
1 entry found
Number of results to display per page

Search Results

1. Model Checking Software
thumbnail
Full text!
Author:
Bartocci, Ezio; Ramakrishnan, C.R.; Ramakrishnan, C. R.
Publisher:
Springer Berlin Heidelberg 2013
Format:
e-book