Exported entries (BibTeX)

@inbook { issarnyZ03-1640,
	year = {2003},
	chapter = {Software Architectures and Dependability},
	title = {Formal Methods for Software Architectures -- SFM-03:SA Lectures},
	publisher = {Springer Verlag},
	note = {LNCS 2804},
	author = {V. Issarny and A. Zarras}
}