Les Sites Internet absint.fr, absint.de, absint.com, abstract-interpretation.com, program-analysis.com, timing-validation.com, sureal-projekt.org, predator-project.eu, aisee.com, aisee.de, aipop.com, aipop.de, aicall.de, stackanalyzer.de et stackanalyzer.com sont édités par:
|
AbsInt Angewandte Informatik GmbH, Numéro d’identification fiscale: 040/105/01720, Siège social: Science Park 1 — 66123 Sarrebruck, Allemagne Responsable de la publication: M. Alexandre Evstiougov-Babaev. Les Sites sont hébergés par la société Internet one4vision GmbH. |
![]() |
Tous les éléments (textes, images, logos, icônes, logiciels, mise en page…) contenus dans les Sites sont protégés par le droit national et international de la propriété intellectuelle. Ces éléments restent la propriété exclusive d’AbsInt GmbH.
A ce titre, sauf autorisation préalable et écrite d’AbsInt GmbH, vous ne pouvez procéder à aucune reproduction, représentation, adaptation et/ou transformation partielle ou intégrale, et à aucun transfert sur un autre site Internet de tout élément composant les Sites.
Conformément aux dispositions du Code de la Propriété Intellectuelle, seule est autorisée l’utilisation des éléments composant les Sites à des fins personnelles.
aiSee © 2000–2008 AbsInt Angewandte Informatik GmbH, © 1993–2000 Université de la Sarre. aiCall © 2000–2006 AbsInt Angewandte Informatik GmbH. aiCache © 1998–2001 AbsInt Angewandte Informatik GmbH. aiPop © 1999–2008 AbsInt Angewandte Informatik GmbH. StackAnalyzer © 2000–2008 AbsInt Angewandte Informatik GmbH. aiT © 2002–2008 AbsInt Angewandte Informatik GmbH. PAG © 1998–2008 AbsInt Angewandte Informatik GmbH et Université de la Sarre. aiV © 2004–2008 AbsInt Angewandte Informatik GmbH. aiTraval © 2004–2008 AbsInt Angewandte Informatik GmbH. aiTV © 2005–2007 AbsInt Angewandte Informatik GmbH. aiScan21 et aiScan22 © 1998–2001 AbsInt Angewandte Informatik GmbH. aiLink © 2001–2003 AbsInt Angewandte Informatik GmbH. CRL2GDL © 2003–2007 AbsInt Angewandte Informatik GmbH. GDLedit © 2003–2007 AbsInt Angewandte Informatik GmbH. dot2GDL © 2005–2007 Henrik Theiling. Excel2GDL © 2002–2007 AbsInt Angewandte Informatik GmbH. Apache2GDL © 2005–2007 AbsInt Angewandte Informatik GmbH. Matrix2GDL © 2006–2007 AbsInt Angewandte Informatik GmbH. MCL2GDL © 2003 AbsInt Angewandte Informatik GmbH.
Les documents présentés sur les Sites sont fournis « en l’état » et sans aucune garantie expresse ou tacite. Les Sites peuvent présenter des erreurs typographiques ou techniques ou autres inexactitudes.