Search

You searched for: Auteur Marché, Claude Remove constraint Auteur: Marché, Claude
1 entry found
Number of results to display per page

Search Results

1. Formal Verification of Object-Oriented Software
thumbnail
Full text!
Author:
Beckert, Bernhard; Kanade, Takeo; Marché, Claude
Publisher:
Springer Berlin Heidelberg 2011
Format:
e-book