Eléments de l'association

	Dominique Cansell	16
	Validation	19
	Dominique Cansell *Sauf* Validation"	14
	Validation *Sauf* Dominique Cansell"	17
	Dominique Cansell Et Validation	2
	Dominique Cansell Ou Validation	33
	*Corpus*	1389

List of bibliographic references

Number of relevant bibliographic references: 2.

Ident.	Authors (with country if any)	Title
000226	Dominique Cansell [France] ; Dominique Méry [France] ; Cyril Proch [France]	System-on-chip design by proof-based refinement
000700	Dominique Cansell [France] ; Dominique Méry [France]	Foundations of the B method

Wicri

This area was generated with Dilib version V0.6.33.
Data generation: Mon Jun 10 21:56:28 2019. Site generation: Fri Feb 25 15:29:27 2022