[LM01] An Automatic Generation of B Specifications from Well-defined UML Notations for Database Applications

Conférence Internationale avec comité de lecture : Int. Symp. on Programming Systems, Alger, AlgÃƒÂ©rie, January 2001,

Auteurs: R. Laleau , A. Mammar

motcle:

Download

BibTeX

@inproceedings {
	LM01,
	title	=	"{An Automatic Generation of B Specifications from Well-defined UML Notations for Database Applications}",
	author	=	" R. Laleau and A. Mammar ",
	booktitle	=	"{Int. Symp. on Programming Systems, Alger, AlgÃƒÂ©rie}",
	year	=	2001,
	month	=	"January",
}