[FLM99] Combining UML with the B Formal Method for the Specification of Database Applications

Rapport Scientifique : Date de dépot: 1999/01/01, (Tech. Rep.: CEDRIC-99-87)

Auteurs: P. Facon , R. Laleau , A. Mammar

motcle:

Download

BibTeX

@techreport {
	FLM99,
	title	=	"{Combining UML with the B Formal Method for the Specification of Database Applications}",
	author	=	"P. Facon and R. Laleau and A. Mammar",
	number	=	"{CEDRIC-99-87}",
	institution	=	"{CEDRIC laboratory, CNAM-Paris, France}",
	date	=	{01-01-1999},
}