Search

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

Search Results

1. FM 2006: Formal Methods
thumbnail
Full text!
Author:
Misra, Jayadev; Kanade, Takeo; Nipkow, Tobias; Sekerinski, Emil
Publisher:
Springer Berlin / Heidelberg 2006
Format:
e-book