Alberto Verdejo

Profesor Titular de Universidad (Sistemas Informáticos y Computación)

Universidad Complutense de Madrid

Spain

Research Interests

Explore related searches

Professors in Spain

Contact this professor

Get a free first email built on one of their papers, ready for you to edit and send yourself.

Articles (4)

Year:

2022

Year:

2022

Year:

2022

Year:

2021

Collaborators (3)

Isabel Pita

Universidad Complutense de Madrid

SPAIN

View details

Rubén Rubio

Assistant Professor (Profesor Ayudante Doctor)

Universidad Complutense de Madrid

SPAIN

View details

Narciso Martí-Oliet

Full professor

Universidad Complutense de Madrid

SPAIN

View details

ApplyKite TwinLearns as you apply

Make your next move.

Prepare your application

Review drafts before you send them.

Alberto Verdejo

Research Interests

Explore related searches

Contact this professor

Articles (4)

Model checking strategy-controlled systems in rewriting logic

Metalevel transformation of strategies

Simulating and model checking membrane systems using strategies in Maude

Strategies, model checking and branching-time properties in Maude

Collaborators (3)

Isabel Pita

Rubén Rubio

Narciso Martí-Oliet

Make your next move.