Lab for Automated Reasoning and Analysis LARA

The Amy Specification

You can access the Amy specification document here.

Last updated: 26/10/2017

 
cc17/amy_specification.txt · Last modified: 2017/10/26 16:06 by manos
 
© EPFL 2018 - Legal notice