Marieke Huisman and Inria Sophia Antipolis - Free people check

(1 - 6 from 12

)

Object-Oriented Technology. ECOOP Workshop Reader: ECOOP

books.google.de

The workshop was organized by Marieke Huisman (INRIA Sophia Antipolis, France), Sophia Drossopoulou (Imperial College London, UK), Susan Eisenbach ...

Google Groups: CFP: Workshop on Verified Software: Theories, Tools, and ...

: Program committee * Marieke Huisman, INRIA Sophia Antipolis, France * K. Rustan M. Leino (co-chair), Microsoft Research, USA * Claude Marché, ...

Google Groups: PhD position: Specification and Verification of multi-threaded ...

: Marieke Huisman ... fa eapls The Everest project at INRIA Sophia Antipolis has an open PhD position on: Specification and ...

Google Groups: [isabelle] Bytecode'07: call for participation

: ... IRISA, France Samir Genaim, Universidad Politecnica de Madrid, Spain Marieke Huisman, INRIA Sophia Antipolis, France (co-chair) Francesco Logozzo, ...

Google Groups: 1st CFP: Bytecode'07 at ETAPS'07

: Program committee: Frederic Besson, IRISA, France Samir Genaim, Universidad Politecnica de Madrid, Spain Marieke Huisman, INRIA Sophia Antipolis, ...

All web results to the name "Marieke Huisman"

FMCO 2006: List of participants

liacs.leidenuniv.nl

Marieke Huisman. INRIA Sophia Antipolis . France. Radu Iosif. Verimag. France. Mohammad Izadi. Sharif University of Technology. Iran. MohammadMahdi Jaghouri. CWI - Amsterdam.

Related search requests for Marieke Huisman

Vladimir Klebanov
Dilian Gurov
Bart Jacobs

Gilles Barthe
Erik Poll
Joost-Pieter Katoen

Anton Wijs
Patricia Hill
Frederic Besson

Person "Huisman" (2)
Forename "Marieke" (1438)
Name "Huisman" (720)

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

Marieke Huisman and Inria Sophia Antipolis Free People Check