A few remarks on SKInT

Goubault-Larrecq, Jean
Institut National de Recherche en Informatique et en Automatique (INRIA), 78 - Rocquencourt (France). Unite de Recherche de Rocquencourt

Publication date

January 1998

Abstract

Theme 2 - Genie logiciel et calcul symbolique. Projets CoqSIGLEAvailable from INIST (FR), Document Supply Service, under shelf-number : 14802 E, issue : a.1998 n.3475 / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc

Extracted data

We use cookies to provide a better user experience.

Data Protection

A few remarks on SKInT

Goubault-Larrecq, Jean
Institut National de Recherche en Informatique et en Automatique (INRIA), 78 - Rocquencourt (France). Unite de Recherche de Rocquencourt

Open link

Publication date

January 1998

A few remarks on SKInT

Abstract

Extracted data

A few remarks on SKInT

Abstract

Extracted data

Related items

Related items