Search

You searched for: Auteur Cuellar, Jorge Remove constraint Auteur: Cuellar, Jorge
1 - 2 of 2
Number of results to display per page

Search Results

1. Security and Trust Management
thumbnail
Full text!
Author:
Cuellar, Jorge; Barthe, Gilles; Kanade, Takeo; López, Javier; Pretschner, Alexander
Publisher:
Springer Berlin Heidelberg 2011
Format:
e-book
2. FM 2008: Formal Methods
thumbnail
Full text!
Author:
Cuellar, Jorge; Kanade, Takeo; Maibaum, Thomas S. E.; Maibaum, Tom; Sere, Kaisa; Kittler, Josef
Publisher:
Springer Berlin Heidelberg 2008
Format:
e-book