Logic, language, and security essays dedicated to Andre Scedrov on the occasion of his 65th birthday

DE-634
DE-Aug4
DE-573
DE-M347
DE-92
DE-898
DE-859
DE-860
DE-861
DE-863
DE-862
DE-523
DE-91
DE-384
DE-473
DE-19
DE-355
DE-703
DE-20
DE-706
DE-29
DE-739
URL des Erstveröffentlichers

Logic, language, and security essays dedicated to Andre Scedrov on the occasion of his 65th birthday

Formal aspects in security and trust 7th international workshop, FAST 2010, Pisa, Italy, September 16-17, 2010. revised selected papers

Inhaltstext
Inhaltsverzeichnis

Principles of security and trust 4th international conference, POST 2015, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK,...

Inhaltstext
Inhaltsverzeichnis