کتاب های Jorge Cuellar

FM 2008: Formal Methods: 15th International Symposium on Formal Methods, Turku, Finland, May 26-30, 2008 Proceedings
Shmuel Katz (auth.), Jorge Cuellar, Tom Maibaum, Kaisa Sere (eds.), 2008
FM 2008: Formal Methods: 15th International Symposium on Formal Methods, Turku, Finland, May 26-30, 2008 Proceedings
Shmuel Katz (auth.), Jorge Cuellar, Tom Maibaum, Kaisa Sere (eds.), 2008
Smart Grid Security: First International Workshop, SmartGridSec 2012, Berlin, Germany, December 3, 2012, Revised Selected Papers
David von Oheimb (auth.), Jorge Cuellar (eds.), 2013