LARA

Formal Name (French)
Laboratoire d'analyse et de raisonnement automatisés
Formal Name (Engish)
Laboratory for Automated Reasoning and Analysis
Lab Manager
Kuncak, Viktor
Group ID
U11739
Author(s):
Institute:
Faculty:
General Note:
Members of LARA-unit
Linked Resource:
Publications:


 Record created 2018-01-27, last modified 2018-03-19


Rate this document:

Rate this document:
1
2
3
 
(Not yet reviewed)