Alberto Verdejo

发表

Fernando Rosa-Velardo, Clara Segura, Alberto Verdejo, 2005, RULE@RDP.
Alberto Verdejo, Narciso Martí-Oliet, Óscar Martín, 2018, WRLA@ETAPS.
Adrián Riesco, Alberto Verdejo, Narciso Martí-Oliet, 2008, WADT.
Adrián Riesco, Alberto Verdejo, Narciso Martí-Oliet, 2008, AMAST.
Alberto Verdejo, Narciso Martí-Oliet, N. Martí-Oliet, 2012, WRS.
Alberto Verdejo, Miguel Palomino, Gustavo Santos-García, 2008, DCAI.
Alberto Verdejo, Narciso Martí-Oliet, Joaquín Salvachúa, 2005, FMOODS.
Alberto Verdejo, Narciso Martí-Oliet, Óscar Martín, 2020, Theory Pract. Log. Program..
Alberto Verdejo, Narciso Martí-Oliet, Isabel Pita, 2018, WADT.
Alberto Verdejo, Narciso Martí-Oliet, N. Martí-Oliet, 2005, Formal Methods Syst. Des..
Adrián Riesco, Alberto Verdejo, Narciso Martí-Oliet, 2009, WRLA.
José Meseguer, Alberto Verdejo, Narciso Martí-Oliet, 2009, WRLA.
Adrián Riesco, Alberto Verdejo, Narciso Martí-Oliet, 2010, RTA.
Alberto Verdejo, Yolanda Ortega-Mallén, Mercedes Hidalgo-Herrero, 2007, WRS@FLoC.
Alberto Verdejo, Narciso Martí-Oliet, Isabel Pita, 2003, Formal Aspects of Computing.
Alberto Verdejo, Narciso Martí-Oliet, Óscar Martín, 2016, ATVA.
José Meseguer, Alberto Verdejo, Narciso Martí-Oliet, 2005, WRLA.
Adrián Riesco, Alberto Verdejo, Narciso Martí-Oliet, 2008, Concurrency, Graphs and Models.
Alberto Verdejo, Miguel Palomino, Narciso Martí-Oliet, 2005, Electron. Notes Theor. Comput. Sci..
Alberto Verdejo, Narciso Martí-Oliet, Steven Eker, 2007, STRATEGIES@IJCAR.
Alberto Verdejo, Narciso Martí-Oliet, Isabel Pita, 2021, WRLA@ETAPS.
Alberto Verdejo, Narciso Martí-Oliet, 2000, FORTE.
Alberto Verdejo, Juan Quemada, Gabriel Huecas, 2001, FME 2001.
Alberto Verdejo, Narciso Martí-Oliet, 2002, Electron. Notes Theor. Comput. Sci..
Alberto Verdejo, Narciso Martí-Oliet, Isabel Pita, 2000, WRLA.
Alberto Verdejo, Narciso Martí-Oliet, Isabel Pita, 2019, FSCD.
Alberto Verdejo, Narciso Martí-Oliet, N. Martí-Oliet, 2006, J. Log. Algebraic Methods Program..
Alberto Verdejo, Narciso Martí-Oliet, N. Martí-Oliet, 2010 .
Alberto Verdejo, Narciso Martí-Oliet, Francisco Durán, 2014, SBMF.
Adrián Riesco, Alberto Verdejo, Narciso Martí-Oliet, 2010, AMAST.
Alberto Verdejo, Miguel Palomino, Narciso Martí-Oliet, 2005, Electron. Notes Theor. Comput. Sci..
Adrián Riesco, Alberto Verdejo, Narciso Martí-Oliet, 2010, WRLA.
Adrián Riesco, Alberto Verdejo, Narciso Martí-Oliet, 2011, LOPSTR.
Alberto Verdejo, Miguel Palomino, Narciso Martí-Oliet, 2012, J. Log. Algebraic Methods Program..
Alberto Verdejo, Narciso Martí-Oliet, Isabel Pita, 2021, Automated Software Engineering.
Alberto Verdejo, Narciso Martí-Oliet, Isabel Pita, 2021, J. Log. Algebraic Methods Program..
Alberto Verdejo, Narciso Martí-Oliet, Isabel Pita, 2021, J. Log. Algebraic Methods Program..
Alberto Verdejo, Narciso Martí-Oliet, Isabel Pita, 2021, J. Log. Algebraic Methods Program..
Alberto Verdejo, Narciso Mart́ı-Oliet, 2000 .
Adrián Riesco, Alberto Verdejo, Rafael Caballero, 2011 .