LARA Funding

EPFL Laboratory for Automated Reasoning and Analysis is supported by the funding from