Zdancewic S.

Автор:

Вид	Название	Год	Автор	Серия	Редакторы	Колл. автор	Источник	Дата поступления
СТ	Pricipals in Programming Languages: A Syntactic Proof Technique	1999	Zdancewic S., Grossman D., Morrisett G.				SIGPLAN Notices	20.12.1999
СТ	Secure Information Flow and CPS	2001	Zdancewic S., Myers A. C.				Lecture Notes in Computer Science	27.04.2001