Search results
- * Deliverable D1-2 [http://vecolib.imag.fr/index.php/File:D1-2.pdf "Decision Procedures for Containers"] published.4 KB (551 words) - 18:39, 26 September 2017
- ** [http://vecolib.imag.fr/images/1/1b/D1-2.pdf D1-2]: ''Decision Procedures for Containers'' (@T0+12) <!-- September 20154 KB (525 words) - 15:47, 21 October 2017