Search

You searched for: Auteur Damiani, Ferruccio Remove constraint Auteur: Damiani, Ferruccio
1 - 5 of 5
Number of results to display per page

Search Results

1. Coordination Models and Languages : 23rd IFIP WG 6. 1 International Conference, COORDINATION 2021, Held As Part of the 16th International Federated Conference on Distributed Computing Techniques, DisCoTec 2021, Valletta, Malta, June 14-18, 2021, Proceedi
thumbnail
Full text!
Author:
Damiani, Ferruccio; Dardha, Ornela
Publisher:
Springer International Publishing 2021
Format:
e-book
2. Formal Verification of Object-Oriented Software
thumbnail
Full text!
Author:
Hutchison, David; Kanade, Takeo; Damiani, Ferruccio; Gurov, Dilian
Publisher:
Springer Berlin Heidelberg 2012
Format:
e-book
3. Types for Proofs and Programs
thumbnail
Full text!
Author:
Berardi, Stefano; Damiani, Ferruccio; Kanade, Takeo; de Liguoro, Ugo
Publisher:
Springer Berlin Heidelberg 2009
Format:
e-book
4. Formal Methods for Components and Objects
thumbnail
Full text!
Author:
Hutchison, David; Kanade, Takeo; Bonsangue, Marcello M.; Damiani, Ferruccio; de Boer, Frank S.
Publisher:
Springer Berlin Heidelberg 2013
Format:
e-book
5. Formal Methods for Executable Software Models
thumbnail
Full text!
Author:
Marco Bernardo, Ferruccio Damiani, Reiner Hähnle, Einar Broch Johnsen, Ina Schaefer; Damiani, Ferruccio; Haehnle, Reiner; Johnsen, Einar Broch; Schaefer, Ina
Publisher:
Springer International Publishing 2014
Format:
e-book