Homepage of the Salerno Automated Reasoning Lab
This is the website of the AureaLab, a research gorup on automated reasoning at the University of Salerno.
| Home | Projects | About | Contact |
If you need to contact us please refer to Luca Spada’s webpage