Eléments de l'association

	Dominique Cansell	16
	Théorie preuve	32
	Dominique Cansell *Sauf* Théorie preuve"	13
	Théorie preuve *Sauf* Dominique Cansell"	29
	Dominique Cansell Et Théorie preuve	3
	Dominique Cansell Ou Théorie preuve	45
	*Corpus*	1389

List of bibliographic references

Number of relevant bibliographic references: 3.

Ident.	Authors (with country if any)	Title
000375	Nazim Benaïsa [France] ; Dominique Cansell [France] ; Dominique Méry [France]	Integration of security policy into system modeling
000700	Dominique Cansell [France] ; Dominique Méry [France]	Foundations of the B method
000719	Jean-Raymond Abrial ; Dominique Cansell [France]	Click'n prove: Interactive proofs within Set Theory

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