[GFL07] Refinement of EB3 Process Patterns into B Specifications

Conférence Internationale avec comité de lecture : B2007, BesanÃƒÂ§on, France, January 2007, pp.201-215, Series LNCS 4355,

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

motcle:

BibTeX

@inproceedings {
	GFL07,
	title	=	"{Refinement of EB3 Process Patterns into B Specifications}",
	author	=	" F. Gervais and M. Frappier and R. Laleau ",
	booktitle	=	"{B2007, BesanÃƒÂ§on, France}",
	year	=	2007,
	month	=	"January",
	series	=	"LNCS 4355",
	pages	=	"201-215",
}