Differenze

Queste sono le differenze tra la revisione selezionata e la versione attuale della pagina.

--- magistralesicurezza:sss:progetto [07/09/2011 alle 15:17 (13 anni fa)] – Carlo Montangero
+++ magistralesicurezza:sss:progetto [07/10/2011 alle 08:45 (13 anni fa)] (versione attuale) – Carlo Montangero
@@ Linea 10: / Linea 10: @@
 Sì, una versione aggiornata (in inglese) di parte dei lucidi è disponibile
 [[http://correctnessbycconstruction.wikispaces.com/|qui]].
+Tutta la documentazione SPARK può essere scaricata da
+{{http://www2.adacore.com/wp-content/files/auto_update/sparkdocs-docs/index.html|qui}}, compreso il SImplifierManual, che è molto utile e ricco di esempi.
 == Il numero di appartamenti e termosifoni è fissato a priori? ==