Galmiche, Didier
Edit Page
Report
Scan day: 05 March 2014 UTC
21
Virus safety - good
Description: University of Henri Poincare, France.
Post: LORIA - Universite Henri Poincare 54506 Vandoeuvre-les-Nancy Cedex The TYPES scientific project (Logic, Proof Theory and Programming) consists in considering the links between logic and reliable programming within the general context of designing reliable data processing systems. The relationships
Size: 304 chars
Contact Information
Email:Send Message
Phone&Fax: —
Address: —
Extended: —
WEBSITE Info
| Page title: | Didier GALMICHE |
| Keywords: | |
| Description: | |
| IP-address: | 152.81.144.29 |
WHOIS Info
| NS | |
| WHOIS | status: ACTIVE |
| Date | created: 01/01/1995 last-update: 18/03/2010 changed: 15/02/2012 [email protected] changed: 08/11/2005 [email protected] changed: 09/10/2008 [email protected] |