Lab for Automated Reasoning and Analysis LARA

Differences

This shows you the differences between two versions of the page.

Link to this comparison view

cc18:amy_specification [2018/09/14 14:36]
romain created
cc18:amy_specification [2018/09/19 18:01] (current)
georg.schmid
Line 1: Line 1:
 ===== The Amy Specification ===== ===== The Amy Specification =====
  
-You can access the Amy specification document [[http://​lara.epfl.ch/​~koukouto/clp17/​amy-spec.pdf|here]].+You can access the Amy specification document [[http://​lara.epfl.ch/​~gschmid/clp18/​amy-spec.pdf|here]].
 
cc18/amy_specification.1536928618.txt.gz · Last modified: 2018/09/14 14:36 by romain
 
© EPFL 2018 - Legal notice