Security and Trust
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter

Gabriele Costa, Valérie Issarny, Fabio Martinelli, Ilaria Matteucci, Rachid Saadi
Security and Trust
SFM, 2011.

SFM 2011
Full names Links ISxN
	author        = "Gabriele Costa and Valérie Issarny and Fabio Martinelli and Ilaria Matteucci and Rachid Saadi",
	booktitle     = "{Advanced Lectures of the 11th International School on Formal Methods for the Design of Computer, Communication and Software Systems: Formal Methods for Eternal Networked Software Systems}",
	doi           = "10.1007/978-3-642-21455-4_12",
	isbn          = "978-3-642-21454-7",
	pages         = "393--416",
	publisher     = "{Springer International Publishing}",
	series        = "{Lecture Notes in Computer Science}",
	title         = "{Security and Trust}",
	volume        = 6659,
	year          = 2011,


Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.