Logal Logal

Logal Logal

 : 

Lógica y algoritmos Lógica y algoritmos

A Project coordinated by IIIA.

Principal investigator:

Pedro Meseguer Pedro Meseguer

Team members:

Collaborating organisations:

Funding entity:

CSIC (Intramural 201450E045) CSIC (Intramural 201450E045)

Funding call:

Project #:

Logal Logal

Funding amount:

0,00€ 0,00€

Duration:

2014-12-01 2014-12-01

 -

2017-11-30 2017-11-30
No publications yet