Search

You searched for: Auteur Leavens, Gary T. Remove constraint Auteur: Leavens, Gary T.
1 - 2 of 2
Number of results to display per page

Search Results

1. Verified Software: Theories, Tools, Experiments
thumbnail
Full text!
Author:
Leavens, Gary T.; Kanade, Takeo; O'Hearn, Peter; Rajamani, Sriram K.
Publisher:
Springer Berlin Heidelberg 2010
Format:
e-book
2. Transactions on Modularity and Composition I
thumbnail
Full text!
Author:
Chiba, Shigeru.; Eugster, Patrick; Leavens, Gary T.; Südholt, Mario; Ziarek, Lukasz
Publisher:
Cham Springer International Publishing 2016
Format:
e-book