[GFL06] Defining and Proving B Refinements for the Patterns of EB3 Process Expressions

Rapport Scientifique : Date de dépot: 2006/01/01, (Tech. Rep.: CEDRIC-06-996)

Auteurs: F. Gervais , M. Frappier , R. Laleau

motcle:

BibTeX

@techreport {
	GFL06,
	title	=	"{Defining and Proving B Refinements for the Patterns of EB3 Process Expressions}",
	author	=	"F. Gervais and M. Frappier and R. Laleau",
	number	=	"{CEDRIC-06-996}",
	institution	=	"{CEDRIC laboratory, CNAM-Paris, France}",
	date	=	{01-01-2006},
}