Institut de recherches en informatique de Nantes

Nantes

Œuvres1

Éditions1

Auteurs distincts3

Médiane pages353353–353 pages

Période19961 année(s) d'activité

Distribution par nombre de pages

<100 p.

100-199 p.

200-299 p.

300-399 p.

400-499 p.

500-699 p.

≥700 p.

Auteur	Œuvres
Conférence internationale B (01 ; 1996 ; Nantes)	1

Année	Titre	Pages
1996	1st Conference on the B method	353

Institut de recherches en informatique de Nantes — 1 œuvres, 3 auteurs