Alain Giorgetti and Olga Kouchnarenko Free People Check

( I'm Alain Giorgetti)

(1 - 6 from 8

)

CiteSeerX — Thème: Programmation, vérification et preuves

citeseerx.ist.psu.edu

BibTeX @MISC{Tushkanova_thème:programmation,, author = {Elena Tushkanova and Alain Giorgetti and Claude Marché and Olga Kouchnarenko and Elena Tushkanova …

Thème: Programmation, vérification et preuves - CORE

core.ac.uk

By Elena Tushkanova, Alain Giorgetti, Claude Marché, Olga Kouchnarenko, Elena Tushkanova, Alain Giorgetti, Claude Marché, Olga Kouchnarenko, Équipes-projets …

All web results to the name "Alain Giorgetti"

Université de Technologie de Belfort-Montbeliard - Rechercher

dumas.ccsd.cnrs.fr

; Olga Kouchnarenko (5); Christophe Ringeissen (5); Jacques Julliand

RTA accepted papers

rta2013.few.vu.nl

Elena Tushkanova, Christophe Ringeissen, Alain Giorgetti and Olga Kouchnarenko. Automatic Decidability: A Schematic Calculus for Theories ...

WRLA 2012: Pre-Proceedings

wrla2012.lcc.uma.es

Elena Tushkanova, Alain Giorgetti, Christophe Ringeissen and Olga Kouchnarenko, Facilitating the Transformation of State Machines ...

Toccata - Publications : Claude Marché

toccata.lri.fr

[53], Elena Tushkanova, Alain Giorgetti, Claude Marché, and Olga Kouchnarenko. Modular specification of Java programs. Technical Report 7097, INRIA,

Related search requests for Alain Giorgetti

Bruno Tatibouët
Omar Chebaro
Jean-François Couchot

Jacques Julliand

People
Forename "Alain" (13493)
Name "Giorgetti" (265)

sorted by relevance / date

Advanced Search

Search name: A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

Legal Terms Privacy

+1

Germany