Eléments de l'association

	Spécification formelle	39
	C. Ringeissen	7
	Spécification formelle *Sauf* C. Ringeissen"	38
	C. Ringeissen *Sauf* Spécification formelle"	6
	Spécification formelle Et C. Ringeissen	1
	Spécification formelle Ou C. Ringeissen	45
	*Corpus*	1389

List of bibliographic references

Number of relevant bibliographic references: 1.

Ident.	Authors (with country if any)	Title
000767	M. G. J. Van Den Brand [Pays-Bas, France] ; P.-E. Moreau [France] ; C. Ringeissen [France]	The ELAN environment: a rewriting logic environment based on ASF+SDF technology: System demonstration

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