@book{25700,
	author = {NATO Advanced Study Institute on Formal Logical Methods for System Security and Correctness and Grumberg, Orna. and ebrary, Inc.},
	title = {Formal logical methods for system security and correctness},
	publisher = {IOS Press,},
	year = {c2008.},
	series = {NATO security through science series. D, Information and communication security,},
	address = {Amsterdam, Netherlands ;},
	note = {"Proceedings of the NATO Advanced Study Institute on Formal Logical Methods for System Security and Correctness, Marktoberdorf, Germany, 31 July-12 August 2007."--T.p. verso.},
	url = {http://site.ebrary.com/lib/rucke/Doc?id=10231732}
}